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