====== 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 {key>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).