nov 26
0
Gedit, l’editor di testo predefinito di Ubuntu e dei sistemi Gnome , rappresenta uno strumento utilizzato davvero spesso dagli utenti nel quotidiano ma, la maggior parte di essi, forse non lo conosce così bene ed è inconsapevole di alcune delle caratteristiche è in grado di offrire. Innanzitutto, Gedit dispone di molte opzioni che si trovano in editor di testo comuni ma è anche espandibile grazie ad all’utilizzo di plugin . Cosa molto importante, a mio avviso, è poi quella di imparare almeno una serie di scorciatoie da tastiera ed una serie di combinazioni di tasti rapidi per poter eseguire velocemente alcune operazioni.
Continua la lettura con la fonte di questo articolo:
Gedit: impariamo a conoscerlo meglio [Shortcuts e Plugin]
