![]() |
![]() |
![]() |
Libwnck Reference Manual | ![]() |
---|
WnckWorkspaceWnckWorkspace — |
WnckWorkspacePrivate; int wnck_workspace_get_number (WnckWorkspace *space); const char* wnck_workspace_get_name (WnckWorkspace *space); void wnck_workspace_change_name (WnckWorkspace *space, const char *name); void wnck_workspace_activate (WnckWorkspace *space, guint32 timestamp); int wnck_workspace_get_width (WnckWorkspace *space); int wnck_workspace_get_height (WnckWorkspace *space); int wnck_workspace_get_viewport_x (WnckWorkspace *space); int wnck_workspace_get_viewport_y (WnckWorkspace *space); gboolean wnck_workspace_is_virtual (WnckWorkspace *space);
int wnck_workspace_get_number (WnckWorkspace *space);
space : | a WnckWorkspace |
Returns : | get the index of the workspace |
const char* wnck_workspace_get_name (WnckWorkspace *space);
Gets the name that should be used to refer to the workspace in the user interface. If the user hasn't set a special name, will be something like "Workspace 3" - otherwise whatever name the user set.
space : | a WnckWorkspace |
Returns : | workspace name, never NULL |
void wnck_workspace_change_name (WnckWorkspace *space, const char *name);
Try changing the name of the workspace.
space : | a WnckWorkspace |
name : | new workspace name |
void wnck_workspace_activate (WnckWorkspace *space, guint32 timestamp);
Ask window manager to make space the active workspace.
space : | a WnckWorkspace |
timestamp : |
int wnck_workspace_get_height (WnckWorkspace *space);
space : | |
Returns : |
int wnck_workspace_get_viewport_x (WnckWorkspace *space);
space : | |
Returns : |
int wnck_workspace_get_viewport_y (WnckWorkspace *space);
space : | |
Returns : |
gboolean wnck_workspace_is_virtual (WnckWorkspace *space);
space : | |
Returns : |
<< WnckApplication | WnckPagerAccessibleFactory >> |