2.2. Eine Session öffnen

Eine Session kann geöffnet werden über Datei->Öffne Session. Es wird ein Dateiauswahl-Dialog geöffnet um eine Thuban Session Datei auszuwählen. Diese Dateien enden auf .thuban. Wird eine Datei ausgewählt und mit OK bestätigt, so wird die entsprechende Session in Thuban geladen. Ist bereits eine Session geladen und seit dem letzten Speichern modifiziert worden, so wird nachgefragt, ob zunächst die alte Session gespeichert werden soll.