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