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




2022 vala-language.org