This is an old revision of the document!
The page is work in progress!
- 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
- 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).