Plugin

I plugin aggiungono funzionalità a gedit. Per maggiori informazioni sull'utilizzo dei plugin integrati, consultare Sezione 10.1 - Lavorare con i plugin.

9.4.1. Abilitare un plugin

Per abilitare un plugin di gedit, procedere come segue:

  1. Scegliere Modifica ▸ Preferenze.
  2. Selezionare la scheda Plugin.
  3. Selezionare la casella di spunta a fianco il nome del plugin da abilitare.
  4. Fare clic su Chiudi per chiudere la finestra di dialogo Preferenze.

9.4.2. Disabilitare un plugin

Quando si esce da gedit, i plugin rimangono abilitati.

Per disabilitare un plugin di gedit, procedere come segue:

  1. Scegliere Modifica ▸ Preferenze.
  2. Selezionare la scheda Plugin.
  3. Deselezionare la casella di spunta a fianco del nome del plugin da disabilitare.
  4. Fare clic su Chiudi per chiudere la finestra di dialogo Preferenze.