Utiliser une police personnalisée pour le texte de gedit.
Vincent Untz
vuntz@gnome.org 2006.
Jonathan Ernst
jonathan@ernstfamily.ch 2006.
Philippe Lefevre
ph.l@libertysurf.fr 2006.
Christophe Bliard
christophe.bliard@trux.info 2006.
Claude Paroz
claude@2xlibre.net 2007-2011.
Bruno Brouard
annoa.b@gmail.com 2011.
Luc Pionchon
pionchon.luc@gmail.com 2011.
Alain Lojewski
allomervan@gmail.com 2011-2014.
Alexandre Franke
alexandre.franke@gmail.com 2013.
Julien Hardelin
jhardlin@orange.fr 2013.
Guillaume Bernard
associations@guillaume-bernard.fr 2018
Charles Monzat
charles.monzat@free.fr 2020

# Modification de la police par défaut

gedit utilise par défaut la police système à chasse fixe, mais vous pouvez modifier la police par défaut de gedit pour l’adapter à votre goût.

# Pour modifier la police par défaut dans gedit :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, puis choisissez PréférencesPolice et couleurs.

Uncheck the box next to the phrase, "Use the system fixed width font."

Cliquez sur le nom de la police actuelle. gedit ouvre alors une fenêtre de sélection de police, vous permettant de voir les polices disponibles et de choisir celle que vous préférez.

Après avoir sélectionné la police souhaitée, utilisez le curseur sous la liste des polices pour définir la taille de police par défaut.

Click Select, and then close the dialog.