Archivio per Maggio 29th, 2008


Mag 29

Incrementare le funzionalità di gedit

Gedit è il text editor di default di Gnome e, oltre alle sue ben note caratteristiche di leggerezza ed usabilità tipiche dello gnomo, presenta un sistema di plugin altamente personalizzabile, simile a quello di firefox, che ne aumenta in misura assai rilevante le potenzialità. Alcuni di questi plugin sono installati di default, altri possono essere implementati son un semplice sudo apt-get install gedit-plugins. Ora basta fare Applicazioni–>Accessori–>Editor di testo, andare su Modifica–>Preferenze e selezionare la scheda plugin:


Altri se ne possono trovare a questoindirizzo.

Se questo sito è di tuo gradimento abbonati gratuitamente sottoscrivendo il Feed RSS. Grazie per la visita!