set_desktop


Description:

[ Version ( since = "2.14" ) ]
public void set_desktop (int desktop)

Sets the workspace on which applications will be launched when using this context when running under a window manager that supports multiple workspaces, as described in the Extended Window Manager Hints.

When the workspace is not specified or desktop is set to -1, it is up to the window manager to pick one, typically it will be the current workspace.

Parameters:

this

a AppLaunchContext

desktop

the number of a workspace, or -1




2022 vala-language.org