Update workspace in commands

code-asher · code-asher · commit d5f525f83662 · 2024-10-14T13:23:42.000-08:00
diff --git a/src/remote.ts b/src/remote.ts
@@ -375,6 +375,7 @@ export class Remote {
     // Watch the workspace for changes.
     const monitor = new WorkspaceMonitor(workspace, workspaceRestClient, this.storage)
     disposables.push(monitor)
+    disposables.push(monitor.onChange.event((w) => this.commands.workspace = w))
 
     // Wait for the agent to connect.
     if (agent.status === "connecting") {
