get_number_of_desktops


Description:

public uint32 get_number_of_desktops ()

Returns the number of workspaces 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 number of workspaces, or 0 if workspaces are not supported




2022 vala-language.org