Depuis que j'ai démarré ce matin, la taille des polices de ces deux logiciels sont minuscules et je n'arrive pas à trouver l'option qui pourrait les remettre en taille normale... Je suis sous gnome, et la modification des paramètres de la boite de dialogue Préfèrence de bureau > police ne change rien à mon problème. Savez-vous comment je peux faire?