Einstellungen

Der Einstellungen-Dialog fasst die Einstellungen des Editors in Kategorien zusammen. Zu den eingebauten Seiten gehören Allgemein (mit dem Abschnitt Dateisicherung), Tastenkürzel (das Tastenkürzel jedes Befehls neu belegen), Syntaxhervorhebung, Autovervollständigung, Intelligente Hervorhebung, Dateizuordnungen und Plugins (installierte Plugins aktivieren/deaktivieren). Plugins steuern eigene Einstellungsseiten bei, die neben den eingebauten erscheinen — zum Beispiel Theme Editor, Einrückung und Dokumentstatistik.

Note

Das Aktivieren oder Deaktivieren eines Plugins wirkt sich erst beim nächsten Start aus — der Editor lädt oder entlädt Plugin-Code niemals zur Laufzeit.