Maj doc
Champ de recherche de gedit
Règle un problème de police dans le menu (clic droit) de gedit

Dans ce menu, les caractères étaient beaucoup plus gros que dans les autres menus,
et la police était à chasse fixe.