change_workspace_count


Description:

[ Version ( since = "2.2" ) ]
public void change_workspace_count (int count)

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

Parameters:

this

a Screen.

count

the number of Workspace to request.




2022 vala-language.org