Menüeintrag Einstellungen
Menüeintrag Einstellungen... Einstellungen der Entwicklungsumgebung
Einige Eigenschaften der Entwicklungsumgebung können geändert werden. Die Änderungen werden in den Einstellungen vorgenommen. Jede Änderung in den Einstellungen ist nur für den Datenbankbenutzer gültig, der in der Menüzeile angezeigt wird.
Wird in dem Baum der Bereiche die Taste 
oder die Tastenkombination 
+ 
gedrückt, kann in einem Eingabefeld ein Name aus dem Baum angegeben werden. Nach Abschließen der Eingabe mit 
wird auf den entsprechenden Bereich positioniert. Die Verwendung von Wildcards (, ?) ist bei der Suche möglich. Sind keine Wildcards angegeben wird nach allen Stellen gesucht, die den Suchbegriff enthalten (<Begriff>*).
Mit den Tasten und 
+ wird nach dem nächsten oder vorherigen Vorkommen des Suchbegriffs in dem Baum gesucht. Ist das Ende bzw. der Anfang des Baumes erreicht, wird die Suche am jeweils anderen Ende fortgesetzt. Eine neue Suche wird mit der Tastenkombination + gestartet. Die Groß-Kleinschreibung wird bei der Suche ignoriert.
Einstellungen können in folgenden Bereichen vorgenommen werden: