2.3. Saving a Session

A session can be saved from File->Save Session. In the case the session is not a new and unsaved one, the corresponding file is updated with the current session data. In the case the current session is a new one and yet unsaved a dialog box will open allowing the user to browse the file system and select a place to save the session. Thuban sessions should be saved under a name ending in .thuban. If the file already exists the user will be prompted to save under a different name or overwrite the existing file.