Eine Session kann gepsiechert werden über
->.
Handelt es sich bei der aktuellen Session nicht um eine
neue und ungespeicherte, so wird die entsprechende Datei
mit den Daten der aktuellen Session überschrieben.
Im Falle einer neuen und noch nicht gespeicherten Session
wird ein Dateiauswahl-Dialog geöffnet um einen Namen
für die zu speicherende Session auszuwählen.
Thuban Session Dateien sollten mit der Endung
.thuban
versehen werden.
Existiert bereits eine Datei mit dem gleichen Namen
wird der Benutzer gefragt ob diese überschrieben
oder ein neuer Name gewählt werden soll.