move_to_desktop


Description:

public void move_to_desktop (uint32 desktop)

Moves the surface 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 `GdkSurface`

desktop

the number of the workspace to move the surface to




2022 vala-language.org