Page 1 sur 1

[résolu] Changer taille police + interlignes TB sous W10

Publié : 18 janv. 2020, 22:02
par NathNate
Bonsoir à tous,

ThunderBird a téléchargé et installé la dernière version
Image

La taille de la police me semble avoir diminué, trop à mon goût :D
Quelle extension pour Windows 10 x64 Home puis-je utiliser ?
J'ai vu un sujet similaire mais pour Mac.
Merci d'avance.

Re: Changer taille police TB sous W10

Publié : 19 janv. 2020, 00:49
par Jean-Claude
Bonjour,

Les extensions s'appliquent indifféremment quel que soit le système d'exploitation.
Il n'y a pour l'instant aucune extension du genre, compatible avec Thunderbird 68.
Pour t'affranchir des extensions, utilise le code CSS comme indiqué ici viewtopic.php?f=4&t=143200.

A+

Re: Changer taille police TB sous W10

Publié : 19 janv. 2020, 01:49
par NathNate
Jean-Claude a écrit : 19 janv. 2020, 00:49 Bonjour,

Les extensions s'appliquent indifféremment quel que soit le système d'exploitation.
Il n'y a pour l'instant aucune extension du genre, compatible avec Thunderbird 68.
Pour t'affranchir des extensions, utilise le code CSS comme indiqué ici viewtopic.php?f=4&t=143200.A+
Merci de m'aider.
Je suis dessus.

Re: Changer taille police TB sous W10

Publié : 19 janv. 2020, 02:08
par NathNate
Jean-Claude a écrit : 19 janv. 2020, 00:49 Bonjour,

Les extensions s'appliquent indifféremment quel que soit le système d'exploitation.
Il n'y a pour l'instant aucune extension du genre, compatible avec Thunderbird 68.
Pour t'affranchir des extensions, utilise le code CSS comme indiqué ici viewtopic.php?f=4&t=143200.
A+
Les taille de la police et l'interligne n'ont pas changé.

Le tuto dit "si besoin augmenter ou diminuer les pixels pour font-size et/ou height et redémarrer Thunderbird pour que les modifications prennent effet. On peut aussi utiliser des valeurs comme par exemple 12.7px ou 13.5px ...."

C'est où ???

Re: Changer taille police TB sous W10

Publié : 19 janv. 2020, 02:16
par Jean-Claude
NathNate a écrit : 19 janv. 2020, 02:08
Les taille de la police et l'interligne n'ont pas changé.

Le tuto dit "si besoin augmenter ou diminuer les pixels pour font-size et/ou height et redémarrer Thunderbird pour que les modifications prennent effet. On peut aussi utiliser des valeurs comme par exemple 12.7px ou 13.5px ...."

C'est où ???
Fais ce que je propose ici viewtopic.php?f=4&t=141660&p=887815&hil ... me#p887815

A+

Re: Changer taille police TB sous W10

Publié : 19 janv. 2020, 19:24
par NathNate
Jean-Claude a écrit : 19 janv. 2020, 02:16 Fais ce que je propose ici viewtopic.php?f=4&t=141660&p=887815&hil ... me#p887815
A+
Bonsoir,

J'ai appliqué ton tuto et là, effectivement, la police est un peu + grande mais un peu juste.
Le tuto dit "Si ce n'est pas assez grand, change le 14 en 15 ou plus" : est-ce là : "*Make all the default font sizes eg:14 px:" que je change 14 en par exemple 16 ??

Re: Changer taille police TB sous W10

Publié : 19 janv. 2020, 20:44
par Jean-Claude
Bonsoir,

Ta ligne en bleu a une valeur de commentaire dans le code.
La commande à changer est : * { font-size: 14px !important; }

Mais, en mettant 16 au lieu de 14, partout dans le code, tu seras toujours dans le bon.

A+

Re: Changer taille police TB sous W10

Publié : 21 janv. 2020, 17:11
par NathNate
Jean-Claude a écrit : 19 janv. 2020, 20:44 Bonsoir,
Ta ligne en bleu a une valeur de commentaire dans le code.
La commande à changer est : * { font-size: 14px !important; }
Mais, en mettant 16 au lieu de 14, partout dans le code, tu seras toujours dans le bon.
A+
Bonjour,

Merci d'avoir confirmeé ce que je pensais, maintenant c'est tip top !!! Est ce que je dois mettre "résolu" quelque part ??

Image

Re: Changer taille police TB sous W10

Publié : 21 janv. 2020, 19:12
par Jean-Claude
Bonjour,
Tu peux éditer ton premier message, et ajouter [Résolu] devant le sujet.
A+

Re: Changer taille police TB sous W10

Publié : 21 janv. 2020, 19:24
par NathNate
Jean-Claude a écrit : 21 janv. 2020, 19:12 Bonjour,
Tu peux éditer ton premier message, et ajouter [Résolu] devant le sujet.
A+
Encore merci !!

Re: Changer taille police TB sous W10

Publié : 22 janv. 2020, 14:53
par NathNate
Jean-Claude a écrit : 21 janv. 2020, 19:12 Bonjour,
Tu peux éditer ton premier message, et ajouter [Résolu] devant le sujet.
A+
Désolé de te déranger, est-il possible de réduire un peu les interlignes ??

Merci d'avance !!

Re: Changer taille police TB sous W10

Publié : 22 janv. 2020, 16:14
par Jean-Claude
Bonjour,

Voici une proposition, reprenant l'ensemble du code:
- L'ancien déjà proposé pour la taille des caractères, que j'ai mis à 16px.
- Une ligne pour l'interligne du volet des dossiers.
- Une ligne pour l'interligne du volet des en-têtes.
En diminuant ou en augmentant la valeur indiquée dans {height: nn px !important;} tu pourras respectivement diminuer ou augmenter l'interligne, soit dans le volet des dossiers, soit dans celui des en-têtes.
Après avoir fait un test avec une taille de 16px pour les caractères, il me semble qu'un interligne de 20px pour le volet des dossiers, et un interligne de 21px pour l'interligne du volet des en-têtes, est ce qu'il y a de mieux. A toi de voir et d'adapter ces valeurs.

N'oublie pas de redémarrer Thunderbird pour activer chaque changement.

Code : Tout sélectionner

/*
* Do not remove the @namespace line -- it's required for correct functioning
 */

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); 

/*
*Make all the default font sizes eg:16 px:
*/

   * { font-size: 16px !important; } 
   
/*Interligne Volet des dossiers*/
#folderPaneBox treechildren::-moz-tree-row {
min-height: 0px !important;
height: 20px !important; }

/*Interligne Volet des en-têtes*/
#threadTree treechildren::-moz-tree-row {
min-height: 0px !important;
height: 21px !important;} 

A+

Re: Changer taille police TB sous W10

Publié : 22 janv. 2020, 16:53
par NathNate
Jean-Claude a écrit : 22 janv. 2020, 16:14 Bonjour,

Voici une proposition, reprenant l'ensemble du code:
- L'ancien déjà proposé pour la taille des caractères, que j'ai mis à 16px.
- Une ligne pour l'interligne du volet des dossiers.
- Une ligne pour l'interligne du volet des en-têtes.
En diminuant ou en augmentant la valeur indiquée dans {height: nn px !important;} tu pourras respectivement diminuer ou augmenter l'interligne, soit dans le volet des dossiers, soit dans celui des en-têtes.
Après avoir fait un test avec une taille de 16px pour les caractères, il me semble qu'un interligne de 20px pour le volet des dossiers, et un interligne de 21px pour l'interligne du volet des en-têtes, est ce qu'il y a de mieux. A toi de voir et d'adapter ces valeurs.

N'oublie pas de redémarrer Thunderbird pour activer chaque changement.

Code : Tout sélectionner

/*
* Do not remove the @namespace line -- it's required for correct functioning
 */

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); 

/*
*Make all the default font sizes eg:16 px:
*/

   * { font-size: 16px !important; } 
   
/*Interligne Volet des dossiers*/
#folderPaneBox treechildren::-moz-tree-row {height: 20px !important; }

/*Interligne Volet des en-têtes*/
#threadTree treechildren::-moz-tree-row {height: 21px !important;} 

A+

Génial ! Pour être certain de ne pas faire de bêtise ce nouveau code annule et remplace le précédent ?

Re: Changer taille police TB sous W10

Publié : 22 janv. 2020, 17:56
par Jean-Claude
NathNate a écrit : 22 janv. 2020, 16:53 Génial ! Pour être certain de ne pas faire de bêtise ce nouveau code annule et remplace le précédent ?
Exact. Tout en ne perdant pas de vue que j'ai mis 16 pour la taille des caractères comme tu l'avais souhaité au début du fil.

A+

Re: Changer taille police TB sous W10

Publié : 24 janv. 2020, 14:18
par NathNate
[/quote]
Exact. Tout en ne perdant pas de vue que j'ai mis 16 pour la taille des caractères comme tu l'avais souhaité au début du fil.

A+[/quote]

Alors j'ai mis la taille des polices à 17 et les interlignes à 21 et 23.

Chaleureux remerciements !!

Image