Optionen
Mit dem Befehl Optionen wird das Dialogfeld "Optionen" aufgerufen (Abbildung unten). Die auf den verschiedenen Registern verfügbaren Einstellungen sind in den Unterabschnitten dieses Abschnitts beschrieben.
Die Einstellungen sind in die folgenden Register unterteilt:
•Java