GUI Einstellungen der aktuellen Datei nicht in dem versteckten „workspace“ Verzeichnis zu speichern, sondern als „.settings“ Datei direkt neben der XML Datei. Die GUI Einstellungen enthalten Konfigurationen die die Startseite, oder auch einige Spaltenbreiten etc. Wenn man beide Dateien z.B. auf Dropbox speichert, kann die selbe Datei relativ einfach auf zwei Rechnern benutzen.