Syntax highlighting of 328f7e1 ~( WorkspaceManagement)

In MarsSI, you can have multiple workspaces. To manage your workspaces, go to the workspace tab and go to the bottom of the page to select "Manage your workspaces".

[Here be screenshot]

Once the page is loaded, you will see a list of your workspaces. A workspace named "default" is created when you have no workspace (for example when you start using MarsSI or as a fallback if you deleted all your workspaces).

[Here be screenshot]