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, Drucken (Farben, Zeilennummern, Kopf- und Fußzeile, Seite einrichten), KI-Assistent (ob ein ganzes Dokument ohne Rückfrage gesendet wird, Dateibearbeitung durch die Engine) und Erweiterungen (installierte Plugins aktivieren/deaktivieren). Plugins steuern eigene Einstellungsseiten bei, die neben den eingebauten erscheinen — zum Beispiel Theme Editor, Einrückung und Dokumentstatistik.
Editor-Schriftart¶
Allgemein ▸ Editor-Schriftart / Schriftgröße legt die Festbreitenschrift fest, in der jede Editoransicht Text darstellt — auch geteilte Bereiche, die Minimap und syntaxhervorgehobene Dateien (Themes färben nur den Text, die Schriftart ändern sie nie). Die Liste bietet ausschließlich Schriften mit fester Breite an. Der Standard hängt von der Plattform ab: Consolas unter Windows, Menlo unter macOS, DejaVu Sans Mono unter Linux. Ist die eingestellte Schriftart auf diesem Rechner nicht installiert (etwa bei von einem anderen System übernommenen Einstellungen), weicht der Editor auf die Festbreitenschrift des Betriebssystems aus, sodass Text immer in Spalten ausgerichtet bleibt. Änderungen gelten für alle offenen Tabs, sobald Sie Anwenden oder OK drücken; Ansicht ▸ Zoom skaliert die Darstellung zusätzlich zur eingestellten Größe.
Fenster-Rendering¶
Allgemein ▸ Fenster-Rendering entscheidet, wie der Editor sein eigenes Fenster zeichnet:
| Modus | Was er bedeutet |
|---|---|
| GPU (empfohlen) | Der Standard. Das Fenster wird von dem Moment an, in dem es sich öffnet, über die Grafikkarte komponiert. |
| CPU | Das Fenster wird stattdessen vom Prozessor komponiert. |
Die Einstellung existiert wegen der HTML-Vorschau: ihre Browser-Engine muss über die Grafikkarte komponiert werden, und im CPU-Modus muss das Fenster neu erzeugt werden, um ihr Platz zu machen — weshalb das Editor-Fenster einmal aufblitzt, wenn Sie diese Vorschau zum ersten Mal öffnen. GPU vermeidet das Aufblitzen und ist der Modus, bei dem man bleiben sollte. Wechseln Sie nur dann zu CPU, wenn sich das Fenster selbst auf Ihrem Rechner falsch verhält (falsch oder überhaupt nicht gezeichnet).
Der Modus ist für die Laufzeit des Editors festgelegt, eine Änderung wirkt also nach
einem Neustart — die Seite bietet Ihnen einen an. Ist das Fenster schon unbenutzbar
und Sie erreichen die Einstellungen nicht mehr, starten Sie den Editor einmal mit
--rendering=cpu
und setzen Sie die Option von dort aus.
Diese Einstellung wird nicht von Einstellungen importieren & exportieren mitgenommen: ob GPU-Komposition funktioniert, ist eine Eigenschaft des Rechners, nicht Ihrer Konfiguration.
Erweiterungen¶
Die Seite Erweiterungen listet jedes Plugin auf, das der Editor gefunden hat, ob geladen oder nicht. Die Spalte Status sagt, ob es läuft, und wenn nicht, warum — ein Plugin tut also nie einfach stillschweigend nichts:
| Status | Bedeutung |
|---|---|
| Aktiviert / Deaktiviert | Ihre Wahl; eine Änderung gilt nach einem Neustart. |
| Erfordert eine Lizenz | Ein kostenpflichtiges Plugin, das die aktuelle Lizenz nicht freischaltet. |
| Benötigt das Plug-in Name, das nicht installiert ist | Das Plugin hängt von einem anderen Plugin ab, das nicht installiert ist. Installieren Sie jenes oder deaktivieren Sie dieses. |
| Benötigt das Plug-in Name, das deaktiviert ist | Das Plugin, von dem es abhängt, ist ausgeschaltet. Aktivieren Sie es und starten Sie neu. |
| Benötigt das Plug-in Name, das eine Lizenz erfordert | Das Plugin, von dem es abhängt, ist ein kostenpflichtiges Plugin, das die aktuelle Lizenz nicht freischaltet. |
| Benötigt das Plug-in Name, das nicht geladen wurde | Das Plugin, von dem es abhängt, ist aktiviert, konnte aber nicht starten — seine eigene Zeile sagt, warum. |
| Benötigt das Plug-in Name, das seinerseits dieses Plug-in benötigt | Die beiden Plugins hängen voneinander ab, daher kann keines starten. Melden Sie das ihren Autoren. |
| Erfordert eine neuere Version von OctoEdit | Das Plugin wurde für eine spätere Version des Editors gebaut. Aktualisieren Sie den Editor oder installieren Sie eine Version des Plugins, die für diese gemacht ist. |
| Inkompatibel (API-Unterschied) | Das Plugin wurde für eine andere, inkompatible Version des Editors gebaut. |
Ein Plugin, das nicht laufen kann, wird ausgegraut angezeigt. Ein Plugin, von dem andere abhängen, wird immer vor ihnen gestartet.
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.