2.3. Eine Session speichern

Eine Session kann gepsiechert werden über Datei->Session Speichern. 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.