Options

Im Menü Optionen können Sie verschiedene benutzerdefinierte Einstellungen vornehmen, die im Folgenden näher beschrieben werden.

In der Menüleiste „Extras“ wählen Sie den Punkt Options. Es öffnet sich ein neues Fenster, in dem Sie vier verschiedene Reiter zur Auswahl haben, mit welchen Sie die Einstellungen vornehmen können.

Reiter Allgemein

Reiter User distributed data

Reiter Shortcuts

Reiter Sprachauswahl