2 Pull requests merged by 1 person

• fix: support for downloading the CLI when proxy is configured

  #177 merged Aug 19, 2025

• impl: poll workspaces when Toolbox screen becomes visible

  #176 merged Aug 17, 2025

2 Pull requests opened by 1 person

• impl: confirmation dialog for workspace deletion

  #179 opened Aug 19, 2025

• impl: report progress while handling URI

  #180 opened Aug 22, 2025

1 Issue opened by 1 person

• Clarify "Delete" button in Toolbox - should say "Delete Workspace" to avoid confusion

  #178 opened Aug 19, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Notifications support

  #160 commented on Aug 17, 2025 • 0 new comments