Lavorare con i plugin

È possibile aggiungere ulteriori caratteristiche a gedit attraverso l'uso dei plugin. Un plugin è un programma ausiliario che aumenta le funzionalità di un'applicazione. I plugin aggiungono nuovi oggetti ai menù di gedit in base alle funzionalità che forniscono.

Diversi plugin sono integrati in gedit ed è possibile installarne altri. Il sito wed di gedit elenca ulteriori plugin.

Per abilitare o disabilitare un plugin o per vedere quali plugin sono attualmente abilitati, consultare la sezione Plugin.

I seguenti plugin sono integrati in gedit:

  • Cambia maiuscole/minuscole consente di cambiare il testo selezionato tra maiuscolo e minuscolo.
  • Statistiche sul documento mostra il numero di righe, parole e caratteri del documento.
  • Strumenti esterni consente di eseguire comandi esterni da gedit.
  • Pannello dell'esplorazione file consente di esplorare i propri file e cartelle nel riquadro laterale.
  • Applica un rientro alle righe aggiunge o rimuove un rientro alle righe selezionate.
  • Inserisci date e ora aggiunge al documento la data e l'ora correnti.
  • Modeline consente di impostare delle preferenze di modifica per alcuni documenti e supporta le modeline in stile Emacs, Kate e Vim.
  • Console python consente di eseguire comandi attraverso il linguaggio di programmazione python.
  • Snippet consente di archiviare dei frammenti di testo usati frequentemente e di inserirli all'interno di un documento.
  • Ordina organizza alfabeticamente le righe di testo selezionate.
  • Correttore ortografico controlla l'ortografia del testo selezionato o evidenzia automaticamente gli errori nel documento.
  • Elenco tag consente di inserire i tag più usati per l'HTML e altri linguaggi da un elenco nel riquadro laterale.

For more information on creating plugins, see the gedit website.