Searched refs:switchWorkspace (Results 1 – 9 of 9) sorted by relevance
79 trace.workspaces.switchWorkspace(ws);126 trace.workspaces.switchWorkspace(ws);
166 ctx.workspaces.switchWorkspace(ws);176 ctx.workspaces.switchWorkspace(ws);
300 workspaces.switchWorkspace(workspaces.createEmptyWorkspace(name));315 workspaces.switchWorkspace(workspace);
45 switchWorkspace(workspace: Workspace): void { method in WorkspaceManagerImpl
152 workspaces.switchWorkspace(ws);155 ws && this.trace?.workspaces.switchWorkspace(ws);384 this.trace.workspaces.switchWorkspace(ws);395 this.trace.workspaces.switchWorkspace(ws);
580 attrs.trace.workspaces.switchWorkspace(ws);589 attrs.trace.workspaces.switchWorkspace(ws);
407 trace.workspaces.switchWorkspace(ws);432 trace.workspaces.switchWorkspace(ws);455 trace.workspaces.switchWorkspace(workspace);
119 this.trace.workspaces.switchWorkspace(this.ws);
23 switchWorkspace(workspace: Workspace): void; method