get_current_desktop

Description:

public uint32 get_current_desktop ()

Returns the current workspace for this when running under a window manager that supports multiple workspaces, as described in the Extended Window Manager Hints specification.

Parameters:

this	a `GdkX11Screen`

Returns:

the current workspace, or 0 if workspaces are not supported