| Top | |
|
|
|
| GList * | xfw_workspace_manager_list_workspace_groups () |
| GList * | xfw_workspace_manager_list_workspaces () |
| void | workspace-created | Run Last |
| void | workspace-destroyed | Run Last |
| void | workspace-group-created | Run Last |
| void | workspace-group-destroyed | Run Last |
XfwWorkspaceManager is used to enumerate and perform actions on the workspace groups present on the parent XfwScreen.
Note that XfwWorkspaceManager is actually an interface; when obtaining an instance, an instance of a windowing-environment-specific object that implements this interface will be returned.
GList *
xfw_workspace_manager_list_workspace_groups
(XfwWorkspaceManager *manager);
Lists all workspace groups known to the workspace manager.
the list of XfwWorkspaceGroup managed by manager
, or NULL if there are
no workspace groups. The list and its contents are owned by manager
.
[nullable][element-type XfwWorkspaceGroup][transfer none]
GList *
xfw_workspace_manager_list_workspaces (XfwWorkspaceManager *manager);
List all workspaces known to the workspace manager.
the list of XfwWorkspace managed by manager
, or NULL if there are
no workspaces. The list and its contents are owned by manager
.
[nullable][element-type XfwWorkspace][transfer none]
“screen” property “screen” GdkScreen *
The GdkScreen instance used to construct the XfwScreen that owns this workspace manager.
Owner: XfwWorkspaceManager
Flags: Read / Write / Construct Only
“workspace-created” signalvoid user_function (XfwWorkspaceManager *manager, XfwWorkspace *workspace, gpointer user_data)
Emitted when a new workspace is created.
manager |
the object which received the signal. |
|
workspace |
the newly-created workspace. |
[not nullable] |
user_data |
user data set when the signal handler was connected. |
Flags: Run Last
“workspace-destroyed” signalvoid user_function (XfwWorkspaceManager *group, XfwWorkspace *workspace, gpointer user_data)
Emitted when a workspace is destroyed.
group |
the object which received the signal. |
|
workspace |
the workspace that was destroyed. |
[not nullable] |
user_data |
user data set when the signal handler was connected. |
Flags: Run Last
“workspace-group-created” signalvoid user_function (XfwWorkspaceManager *manager, XfwWorkspaceGroup *group, gpointer user_data)
Emitted when a new workspace group is craeted.
manager |
the object which received the signal. |
|
group |
the newly-created XfwWorkspaceGroup. |
[not nullable] |
user_data |
user data set when the signal handler was connected. |
Flags: Run Last
“workspace-group-destroyed” signalvoid user_function (XfwWorkspaceManager *manager, XfwWorkspaceGroup *group, gpointer user_data)
Emitted when a workspace group is destroyed.
manager |
the object which received the signal. |
|
group |
the recently-destroyed XfwWorkspaceGroup. |
[not nullable] |
user_data |
user data set when the signal handler was connected. |
Flags: Run Last