Workspace Settings

Workspace Settings

Workspaces

This list shows the list of available workspaces. If you want to edit the name of one of them, double-click the row. When it's done press the Enter key, to return to the list

Number of workspaces

This option allows you too choose the number of workspaces you want to use (between 1 and 32).

Margins

Margins are areas on the edges of the screen that maximized windows won't cover. You can adjust the size, in pixels, of all margins (left, right, top and bottom).