WorkspaceManager

---

Object Hierarchy:

Description:

Content:

Properties:

• public abstract Screen screen { owned get; construct; }
  The Screen instance that owns this workspace manager.

Methods:

• public unowned List<WorkspaceGroup>? list_workspace_groups ()
  Lists all workspace groups known to the workspace manager.
• public unowned List<Workspace>? list_workspaces ()
  List all workspaces known to the workspace manager.

Signals:

• public signal void workspace_created (Workspace workspace)
  Emitted when a new workspace is created.
• public signal void workspace_destroyed (Workspace workspace)
  Emitted when a workspace is destroyed.
• public signal void workspace_group_created (WorkspaceGroup group)
  Emitted when a new workspace group is craeted.
• public signal void workspace_group_destroyed (WorkspaceGroup group)
  Emitted when a workspace group is destroyed.

Inherited Members: