Class WorkspaceBeta

Example

    // Workspaces.Workspace represents a workspace layout with a dock manager
    // and metadata. Access via IWorkspaceManager.all or IWorkspaceManager.create().
    // Properties: metadata (Workspaces.Metadata), dockManager (Editor.Dock.IDockManager).
    const gui = this.pluginSystem.findInterface(IGui.interfaceId) as IGui;
    const mgr = gui.workspaces;

    const workspaces: Workspaces.Workspace[] = mgr.all;
    for (const ws of workspaces) {
      console.log('Workspace:', ws.metadata.name);
    }

    this.connections.push(
      mgr.onActivated.connect((ws: Workspaces.Workspace) => {
        console.log('Activated workspace:', ws.metadata.name);
      })
    );
Copy