Der Dialog "Optionen" dient zum Einstellen von mehreren Parametern. Sie erreichen den Dialog über das Menü "Konfiguration"/"Optionen".
Rahmendekoration übernimmt Java
Beim Einsatz eines Java-basierten Look and Feels kann auch das Zeichnen
der Rahmendekoration von Java übernommen werden. So läßt
sich auch für die graphische Oberfläche eine Plattformunabhänigkeit
von 100 % erreichen. Beim Einsatz eines nativen Look and Feels (wie z.
B. Windows) ist diese Option nicht wählbar. Bei Aktivierung oder Deaktivierung
dieser Option ist ein manueller Neustart des Programmes erforderlich.
Zeige Tooltips nach x ms
Wenn man über einer graphischen Komponente mit der Maus verweilt,
wird i. d. R. ein Tooltip angezeigt, d. h. eine kurzer Hinweis für
die Komponente. Tooltips lassen sich auch ohne Verweilzeit über einer
Komponente sofort anzeigen oder auch generell abschalten.
Fragen vor dem Beenden
Bevor die Applikation beendet wird, wird mit einem "Wirklich beenden?"
nochmal nachgefragt.