move_to_workspace


Description:

public void move_to_workspace (Workspace space)

Asks the window manager to move this to space.

If this was pinned, it will also result in this being visible only on space.

Parameters:

this

a Window.

space

a Workspace.