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