get_workspace
Description:
public unowned Workspace get_workspace (
int workspace)
Gets the Workspace numbered workspace on
this.
Parameters:
| this |
a Screen.
|
| workspace |
a workspace index, starting from 0.
|
Returns:
|
the Workspace numbered workspace on
this, or null if no such workspace exists. The returned
Workspace is owned by libwnck and must not be referenced or unreferenced.
|