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
- Margins
Workspace Settings |
---|
- 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).