Page 1 sur 1

[Résolu] Problème de taille de police dans "Envoyés"

Publié : 18 sept. 2019, 10:27
par GorgoTreize
Bonjour,

Depuis la dernière mise à jour (68.1.0) ou peut être l'avant dernière, j'ai constaté que la taille de la police de caractère "fixed" que j'utilise est différente à la rédaction et dans le répertoire "Envoyés" (la taille est plus petite).

Y a-t-il un moyen de résoudre ce problème? (j'ai bien sûr déjà essayé de modifier les options d'affichage, de rédaction, etc, mais sans succès)

Merci d'avance.

G13

[Résolu] Problème de taille de police dans "Envoyés"

Publié : 18 sept. 2019, 21:10
par GorgoTreize
Voilà, j'ai résolu mon problème. En fait tous les textes "monospace" (largeur fixe) de tous les messages dans tous mes répertoires étaient en taille Consolas 13 alors qu'auparavant c'était en 14. J'ai dû aller dans "Outils> Options> Avancé> Onglet Général> Editeur de configuration" et modifier le paramètre "font.size.monospace.x-unicode" qui était à 13 et que j'ai passé à 14... le problème étant résolu.

En espérant que ça puisse servir à d'autres.

Gorgo13