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.
Post correlati...
Gnome vince ancora! by Mad on June 20th, 2009
Ovviamente nessuna pretesa di scientificità.
Come connettersi ad internet con: cellulare + bluetooth + gnome ppp by Mad on June 7th, 2008
Fino a pochi minuti fa usavo il cavo usb per collegare il cellulare al pc e connettermi ad internet.
Gnome 3.0 nel 2010 by Mad on July 14th, 2008
Finalmente dalla conferenza di Guadec viene fuori la possibile data del rilascio di Gnome 3.
Gnome-art-roadmap by Mad on September 26th, 2008
Questa settimana abbiamo assistito al rilascio di Gnome 2.
Gnome wallpaper contest by Mad on April 3rd, 2008
Anche gnome ha il suo bel contest.
Bentornato!
Loading ...
