You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Send SIGINT to terminals on workspace close, UI polish
- Send SIGINT to all terminal process groups when a workspace is closed
so child processes (servers, Claude) release ports and clean up.
- PR badge in workspace list: "PR #123 (Merged)" without dot.
- Delete menu says "Delete Workspace", modal says "Deleting Workspace?"
- Black text on status-colored tabs for readability.
- Configurable diff command in Settings.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
0 commit comments