Settings

Ctrl , öffnet die Settings. Sie gehören zur App, nicht zu einem Ordner.

Die Settings öffnen sich als Tab.

Einstellung	Werte
Schriftgröße	10–20 px, Standard 13
Theme	System, hell, dunkel
Erweiterungen	die Ordner der installierten Erweiterungen – siehe Erweiterungen

Änderungen an den Erweiterungen gelten nach einem Neustart.