move_to_desktop


Description:

[ Version ( since = "3.10" ) ]
public void move_to_desktop (uint32 desktop)

Moves the window to the given workspace when running unde a window manager that supports multiple workspaces, as described in the Extended Window Manager Hints specification.

Parameters:

this

a Window

desktop

the number of the workspace to move the window to




2022 vala-language.org