Police agrandie suite à Mise à Jour

Vous cherchez une alternative viable et sécurisée pour votre courrier ? Une conjuration s'est abattue sur vous et vous ne réussissez pas à trouver réponse satisfaisante à propos de Mozilla Thunderbird ? Cliquez donc par là…

Modérateur : J2m06

Répondre
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Police agrandie suite à Mise à Jour

Message par NathNate »

Bonjour à tous,

Suite à la Mise à Jour 115.3.1 (20230912052514) la police de caractère est devenue immense au point que ça ne tient plus dans l'écran !! Ça n'était jamais arrivé avec les précédentes MàJ. Que faire ? Merci d'avance.

Image

Avatar de l’utilisateur
lool_lauris
Animal mythique
Messages : 8054
Inscription : 14 mars 2008, 22:51

Re: Police agrandie suite à Mise à Jour

Message par lool_lauris »

Salut,

Tu as opéré dans le passé des modifications de la présentation => viewtopic.php?t=145108 ; voilà typiquement l'illustration de ce qui se passe quand on a précédemment modifié/adapté le code css à sa convenance.

Il faut savoir que les hacks CSS ou en passant par about:config ne sont pas conseillés. Mozilla ne s'engage pas à ce qu'ils fonctionnent encore dans la version suivante ( viewtopic.php?p=938092#p938092 ).
En effet, les personnalisations css viennent s'ajouter aux code existant et ne viennent donc pas remplacer du code en place ; c'est ce qu'on appelle un patch.
Ce "patch" n'est connu que de celui qui l'a mis en place dans la configuration qui lui est propre de son logiciel.
Les développeurs n'ont donc aucune connaissance de ce code additionnel et il donc inévitable qu'à un moment ou à un autre ce patch vienne en interférence avec les mises à jour qui suivront.

Rien ni personne n'interdit ces personnalisations (les applications Mozilla sont des logiciels libres), il faut juste savoir que celles-ci n'ont aucune pérennité. Donc, au fur et à mesure des évolutions du logiciel, tu seras régulièrement amené à reprendre le userChrome.css. L'autre solution pour ne pas être obligé de devoir faire ces manip plus ou moins régulièrement, est de supprimer le userChrome et de s'en tenir à la mouture standard fourni et n'utiliser que les fonctions de personnalisation présentes dans les menus.

.
Soutenez le Libre !

Image
Avatar de l’utilisateur
Jean-Claude
Animal mythique
Messages : 8297
Inscription : 02 avr. 2006, 03:24

Re: Police agrandie suite à Mise à Jour

Message par Jean-Claude »

Bonjour,

C'est nouveau dans la version 115 :

Pour changer la taille, c'est dans : bouton "Hamburger" > Densité (pour l'interligne) et Taille de la police.

Un autre chemin, possible si on a demandé l'affichage de la barre de menus en haut des fenêtres : menu > affichage > Densité et/ou taille de la police.

A+

Dernière modification par Jean-Claude le 03 oct. 2023, 17:08, modifié 1 fois.
Agent virtuel

Re: Police agrandie suite à Mise à Jour

Message par Agent virtuel »

Bonjour

Code : Tout sélectionner

* { font-size: 18px !important; } 

Peut-être, réduire votre px

Autre information et pas besoin de css

Agent virtuel a écrit : 02 oct. 2023, 11:11

Interface utilisateur et sans modifications, hormis, layout.css.devPixelsPerPx
layout.css.devPixelsPerPx viewtopic.php?p=935354#p935354, ça fonctionne aussi sous Thunderbird 115

Mais, il convient d'être prudent, lors de vos essais modification, layout.css.devPixelsPerPx
Si c'est vraiment mais vraiment énormément exagéré ...
Genre l'éditeur de configuration n'est plus accessible
Dans ce cas la solution c'est arrêt Thunderbird démarrer Thunderbird arrêt Thunderbird
Ensuite dans le profil utilisateur https://support.mozilla.org/fr/kb/profi ... tilisateur modifier prefs.js niveau layout.css.devPixelsPerPx et de remettre à sa valeur par défaut -1.0 et enregistrer prefs.js et démarrer Thunderbird

NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Police agrandie suite à Mise à Jour

Message par NathNate »

lool_lauris a écrit : 03 oct. 2023, 17:02

Salut,

Tu as opéré dans le passé des modifications de la présentation => viewtopic.php?t=145108 ; voilà typiquement l'illustration de ce qui se passe quand on a précédemment modifié/adapté le code css à sa convenance.

Il faut savoir que les hacks CSS ou en passant par about:config ne sont pas conseillés. Mozilla ne s'engage pas à ce qu'ils fonctionnent encore dans la version suivante ( viewtopic.php?p=938092#p938092 ).
En effet, les personnalisations css viennent s'ajouter aux code existant et ne viennent donc pas remplacer du code en place ; c'est ce qu'on appelle un patch.
Ce "patch" n'est connu que de celui qui l'a mis en place dans la configuration qui lui est propre de son logiciel.
Les développeurs n'ont donc aucune connaissance de ce code additionnel et il donc inévitable qu'à un moment ou à un autre ce patch vienne en interférence avec les mises à jour qui suivront.

Rien ni personne n'interdit ces personnalisations (les applications Mozilla sont des logiciels libres), il faut juste savoir que celles-ci n'ont aucune pérennité. Donc, au fur et à mesure des évolutions du logiciel, tu seras régulièrement amené à reprendre le userChrome.css. L'autre solution pour ne pas être obligé de devoir faire ces manip plus ou moins régulièrement, est de supprimer le userChrome et de s'en tenir à la mouture standard fourni et n'utiliser que les fonctions de personnalisation présentes dans les menus.

Je sais tout ça ;à mais quand même très étonné vu que ce n'était jamais arrivé 'avant" !

NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Police agrandie suite à Mise à Jour

Message par NathNate »

Jean-Claude a écrit : 03 oct. 2023, 17:03

Bonjour,

C'est nouveau dans la version 115 :
Pour changer la taille, c'est dans : bouton "Hamburger" > Densité (pour l'interligne) et Taille de la police.
Un autre chemin, possible si on a demandé l'affichage de la barre de menus en haut des fenêtres : menu > affichage > Densité et/ou taille de la police.
A+

Ça ne change rien à la taille de la police propre à TB, ni à la densité qui va grandissante selon le bouton.
La& seule taille de police qui change c'est celle qu corps du mail.

NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Police agrandie suite à Mise à Jour

Message par NathNate »

Agent virtuel a écrit : 03 oct. 2023, 17:07

Bonjour

Code : Tout sélectionner

* { font-size: 18px !important; } 

Peut-être, réduire votre px

Autre information et pas besoin de css

Agent virtuel a écrit : 02 oct. 2023, 11:11

Interface utilisateur et sans modifications, hormis, layout.css.devPixelsPerPx
layout.css.devPixelsPerPx viewtopic.php?p=935354#p935354, ça fonctionne aussi sous Thunderbird 115

Mais, il convient d'être prudent, lors de vos essais modification, layout.css.devPixelsPerPx
Si c'est vraiment mais vraiment énormément exagéré ...
Genre l'éditeur de configuration n'est plus accessible
Dans ce cas la solution c'est arrêt Thunderbird démarrer Thunderbird arrêt Thunderbird
Ensuite dans le profil utilisateur https://support.mozilla.org/fr/kb/profi ... tilisateur modifier prefs.js niveau layout.css.devPixelsPerPx et de remettre à sa valeur par défaut -1.0 et enregistrer prefs.js et démarrer Thunderbird

J'ai déjà réduit la taille de police dans le fichier userChrome.css mais sans succès.
Je vais virer iserChrome.css et voir ce que ça donne.

Avatar de l’utilisateur
lool_lauris
Animal mythique
Messages : 8054
Inscription : 14 mars 2008, 22:51

Re: Police agrandie suite à Mise à Jour

Message par lool_lauris »

NathNate a écrit : 03 oct. 2023, 18:15

Je vais virer iserChrome.css et voir ce que ça donne.

Alors, ne le vire pas, renomme le (le fichier ou le dossier chrome). Ainsi, tu ne perdras pas le travail fourni pour élaborer ce fichier, même si certains points sont devenus obsolètes.

.
Soutenez le Libre !

Image
Avatar de l’utilisateur
Jean-Claude
Animal mythique
Messages : 8297
Inscription : 02 avr. 2006, 03:24

Re: Police agrandie suite à Mise à Jour

Message par Jean-Claude »

NathNate a écrit : 03 oct. 2023, 18:10

Ça ne change rien à la taille de la police propre à TB, ni à la densité qui va grandissante selon le bouton.
La& seule taille de police qui change c'est celle qu corps du mail.

Tu fais erreur.
Cela change totalement la taille de la police de Thunderbird.
Le seul inconvénient, est que la densité (l'interligne) n'a que trois niveaux. ce qui est insuffisant, lorsqu'on choisit une petite taille de police.

Illustrations

Taille de la police : 9 px

Image

Taille de la police : 15 px

Image

A+

NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Police agrandie suite à Mise à Jour

Message par NathNate »

Ça change chez toi, mais pas chez moi, pas tu tout !
Edit : effectivement la taille de la police réduit mais la "fenetre" qui affiche les email et la "fenetre" qui affiche le corps du mail ne changent pas.

Que je vire ou pas le fichier userChrome.css ne change rien à la taille des fenetres au point que je ne peux pas les rétrécir avec la ↨ et que je ne peux pas lire le corps du mail.

Image

Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 4 invités