Einstellungen für allgemeine Optionen für alle Sprachen im Menü "Extras", Dialogfeld "Optionen" unter den Knoten "Allgemein" ...

Einstellungen für allgemeine Optionen für alle Sprachen im Menü "Extras", Dialogfeld "Optionen" unter den Knoten "Allgemein" und "Tabstopps"
Einstellungen für allgemeine Optionen für alle Sprachen im Menü "Tools", Dialogfeld "Optionen" unter den Knoten "Allgemein" und "Tabstopps"