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 <app>gedit</app> :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, puis choisissez PréférencesPolice 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.