Saving Sessions and Restoring Them Later

After having selected ‘Saved Sessions’, the user is presented with the panel depicted above.

The user can select a saved Workspace session from the list in the middle of the panel. With the arrow buttons to the right of the panel, the user can scroll the list up or down.

After having selected a session, the user can start the session by clicking the ‘Load Session’ button on the bottom right of the panel. A saved session has to be started in the same location it was ended in.

With the button in the top right corner, the user can close the saved sessions panel and return to the Workspace panel.