Plugin-Einstellungen

Plugins fügen weitere Funktionsmerkmale zu gedit hinzu. Weitere Informationen zu Plugins sowie über die Benutzung der eingebauten Plugins finden Sie in Abschnitt 10.1 ― Arbeiten mit Plugins.

9.4.1. Aktivieren eines Plugins

Um ein gedit-Plugin zu aktivieren, führen Sie die folgenden Schritte aus:

  1. Wählen Sie Bearbeiten ▸ Einstellungen.
  2. Wählen Sie den Reiter Plugins aus.
  3. Aktivieren Sie das Kontrollkästchen neben dem Plugin, welches Sie aktivieren wollen.
  4. Klicken Sie auf Schließen, um den Dialog Einstellungen zu schließen.

9.4.2. Deaktivieren eines Plugins

Plugins bleiben auch nach dem Beenden von gedit noch geladen.

Um ein gedit-Plugin zu deaktivieren, führen sie die folgenden Schritte aus:

  1. Wählen Sie Bearbeiten ▸ Einstellungen.
  2. Wählen Sie den Reiter Plugins aus.
  3. Deaktivieren Sie das Kontrollkästchen neben dem Plugin, welches Sie deaktivieren wollen.
  4. Klicken Sie auf Schließen, um den Dialog Einstellungen zu schließen.