Utiliser une police personnalisée pour le texte de gedit.
Jim Campbell
jcampbell@gnome.org 2011 2012 2013
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érences Police et couleurs.

Décochez la case à côté de la phrase « Utiliser la police système à chasse fixe ».

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.

Cliquez sur Sélectionner puis fermez la boîte de dialogue.