- Allgemeines
Hier kann die Sprache des Editors und der Name in Kommentaren
verändert werden. (Einstellungen werden erst nach einem Neustart des Editors aktiv)
- Ansicht
Hier kann der Transparenzgrad von Kommentaren eingestellt werden
- Snapshots
Hier kann auf die Bildschirmposition und die Zoomstufe von Snapshots
Einfuss genommen werden.
- Web-Browser
Hier kann der Web-Browser den der Editor bei eingefügten Links
benutzzen soll eingestellt werden.