Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7e79d70 commit 127e579Copy full SHA for 127e579
src/remote.ts
@@ -375,6 +375,7 @@ export class Remote {
375
// Watch the workspace for changes.
376
const monitor = new WorkspaceMonitor(workspace, workspaceRestClient, this.storage)
377
disposables.push(monitor)
378
+ disposables.push(monitor.onChange.event((w) => (this.commands.workspace = w)))
379
380
// Wait for the agent to connect.
381
if (agent.status === "connecting") {
0 commit comments