change_workspace_count

Description:

public void change_workspace_count (int count)

Asks the window manager to change the number of Workspace on this.

this	a Screen.
count	the number of Workspace to request.