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