| Libwnck Reference Manual | ||||
|---|---|---|---|---|
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 : |