Highlighter
Im 'Optionen-Menü' lassen sich sämtliche Einstellungen vornehmen, die sich ändern lassen.
Menü: Allgemein
Dieses Menü beinhaltet allgemeine Einstellungen das Programm betreffend. Die einzelnen Seiten des Menüs werden im Folgenden erklärt.
Seite: Highlighter
Hier können das Highlighter-Schema ausgewählt sowie sämtliche Einstellungen für die verschiedenen Highlighter vorgenommen werden. Über den Schrifttyp bis zur Farbe lässt sich alles editieren. Zudem können bei 'Datei-Endungen' Datei-Extensionen angegeben werden, bei welchen der entsprechende Highlighter automatisch geladen wird.