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.
|