2.3. Saving a Session

A session can be saved from File->Save Session. 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.