Repository navigation

tooltip for delete tab + kill processes when delete workspace - #254

Merged

AviPeltz merged 4 commits into

mainfrom

Dec 4, 2025

Merged

tooltip for delete tab + kill processes when delete workspace#254
AviPeltz merged 4 commits into
mainfrom
jade-river-7

Commits on Dec 4, 2025
- tooltip for delete tab
  AviPeltz
  committed
  c0d617d
- kill progress
  AviPeltz
  committed
  518c4d6
- added tests, better try/catch, and delete workspace dialog
  AviPeltz
  committed
  910f5ef
- style: fix lint formatting in workspaces.ts
  
  AviPeltz
  and
  claude
  committed
  46ede62