get_current_desktop


Description:

[ Version ( since = "3.10" ) ]
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 Screen

Returns:

the current workspace, or 0 if workspaces are not supported




2022 vala-language.org