1
Comment ajuster la marge pour les numéros de ligne dans gEdit?
Récemment, j'ai pu augmenter la marge gauche entre le code et les numéros de ligne dans Gedit (Gnome-text-editor) dans Ubuntu 12.10. Je ne me souviens pas comment j'y suis parvenu, ni comment Gedit est revenu à la marge classique qui est très serrée pour moi. Voir capture d'écran: Est-ce que …
8
gedit