Bonjour,
À force de bidouiller le fichier userChrome.css, j'ai enfin réussi à
obtenir l'emploi de polices lisibles pour à peu près tout ce qu'affiche
Mozilla Mail 1.6, sauf quelques exceptions où les caractères demeurent
minuscules et donc difficiles à lire avec ma vue qui baisse.
Ainsi, par exemple, dans la fenêtre d'affichage des en-têtes les mots et
expressions :
Sujet :
De :
Date :
Forums :
Message-ID :
etc...
Tous les messsages de la barre de tâches,
Les titres "Sujet", "Expéditeur", "Date", etc, de la liste des messages,
Plus quelques messages de fenêtres pop-up occasionnelles.
Si quelqu'un pouvait m'indiquer quel(s) paramètre(s) défini(ssen)t ces
tailles de caractères, je pourrais peut-être enfin mettre une dernière
touche à ma configuration.
Si vous pensez que le présent post serait mieux à sa place dans un autre
groupe, n'hésitez pas à le réorienter.
D'avance merci.
--
GC,
Bidouillologue,
Ancien élève de l'école publique de la rue Gambetta.
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040115
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
geo cherchetout
Le 10.05.2004 19:19, *oOOo* a écrit fort à propos :
Sous Windows, ce sont les polices du système qui influent, alors, sous Linux, essaie de voir si en modifiant les polices de l'environnement graphique sur lequel tu es, cela change quelque chose aussi...
Merci pour l'idée, Malheureusement, Mozilla ne tient aucun compte de mes choix dans kde. Il semble que l'application se serve d'elle-même dans les vastes bibliothèques de polices présentes dans le système. C'est pourquoi je souhaiterais savoir si ce sont des paramètres figurant dans la liste qu'on obtient en faisant "about:config", et si possible lesquels. (J'en compte pas moins de 140 commençant par "font").
Le 10.05.2004 19:19, *oOOo* a écrit fort à propos :
Sous Windows, ce sont les polices du système qui influent, alors, sous
Linux, essaie de voir si en modifiant les polices de l'environnement
graphique sur lequel tu es, cela change quelque chose aussi...
Merci pour l'idée,
Malheureusement, Mozilla ne tient aucun compte de mes choix dans kde. Il
semble que l'application se serve d'elle-même dans les vastes
bibliothèques de polices présentes dans le système.
C'est pourquoi je souhaiterais savoir si ce sont des paramètres figurant
dans la liste qu'on obtient en faisant "about:config", et si possible
lesquels. (J'en compte pas moins de 140 commençant par "font").
Le 10.05.2004 19:19, *oOOo* a écrit fort à propos :
Sous Windows, ce sont les polices du système qui influent, alors, sous Linux, essaie de voir si en modifiant les polices de l'environnement graphique sur lequel tu es, cela change quelque chose aussi...
Merci pour l'idée, Malheureusement, Mozilla ne tient aucun compte de mes choix dans kde. Il semble que l'application se serve d'elle-même dans les vastes bibliothèques de polices présentes dans le système. C'est pourquoi je souhaiterais savoir si ce sont des paramètres figurant dans la liste qu'on obtient en faisant "about:config", et si possible lesquels. (J'en compte pas moins de 140 commençant par "font").
Slayne
On 10. 05. 04 22:26, geo cherchetout wrote:
Merci pour l'idée, Malheureusement, Mozilla ne tient aucun compte de mes choix dans kde. Il semble que l'application se serve d'elle-même dans les vastes bibliothèques de polices présentes dans le système. C'est pourquoi je souhaiterais savoir si ce sont des paramètres figurant dans la liste qu'on obtient en faisant "about:config", et si possible lesquels. (J'en compte pas moins de 140 commençant par "font").
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome (GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
Remplace Arial 10 par ce que tu veux comme police. Si ça ne fonctionne pas, c'est que ton Mozilla utilise GTK 1.
Pour simplifier ce genre de config, il existe gtk-theme-switch ou gtk-theme-switch2, ou encore gnome-control-center si vraiment tu rames.
On 10. 05. 04 22:26, geo cherchetout wrote:
Merci pour l'idée,
Malheureusement, Mozilla ne tient aucun compte de mes choix dans kde. Il
semble que l'application se serve d'elle-même dans les vastes
bibliothèques de polices présentes dans le système.
C'est pourquoi je souhaiterais savoir si ce sont des paramètres figurant
dans la liste qu'on obtient en faisant "about:config", et si possible
lesquels. (J'en compte pas moins de 140 commençant par "font").
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome
(GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de
config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
Remplace Arial 10 par ce que tu veux comme police. Si ça ne fonctionne
pas, c'est que ton Mozilla utilise GTK 1.
Pour simplifier ce genre de config, il existe gtk-theme-switch ou
gtk-theme-switch2, ou encore gnome-control-center si vraiment tu rames.
Merci pour l'idée, Malheureusement, Mozilla ne tient aucun compte de mes choix dans kde. Il semble que l'application se serve d'elle-même dans les vastes bibliothèques de polices présentes dans le système. C'est pourquoi je souhaiterais savoir si ce sont des paramètres figurant dans la liste qu'on obtient en faisant "about:config", et si possible lesquels. (J'en compte pas moins de 140 commençant par "font").
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome (GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
Remplace Arial 10 par ce que tu veux comme police. Si ça ne fonctionne pas, c'est que ton Mozilla utilise GTK 1.
Pour simplifier ce genre de config, il existe gtk-theme-switch ou gtk-theme-switch2, ou encore gnome-control-center si vraiment tu rames.
geo cherchetout
Le 10.05.2004 22:42, *Slayne* a écrit fort à propos :
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome (GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Il s'agit bien de GTK2 (sous Mandrake 10.0), et je m'étais bien aperçu qu'il n'y avait pas de lien entre Mozilla et kde. Mais je n'aurais jamais pensé à Gnome parce que je ne l'utilise jamais comme gestionnaire de fenêtres. Merci donc pour cette information.
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
J'ai essayé une taille énorme pour être sûr de bien voir l'effet produit, mais aucun effet visible après avoir relancé Mozilla.
Pour simplifier ce genre de config, il existe gtk-theme-switch ou gtk-theme-switch2, ou encore gnome-control-center si vraiment tu rames.
Je ne trouve pas ces commandes ou menus, mais espère pouvoir m'en passer. Mozilla emploie diverses polices en diverses tailles en différents endroits : Barre de menus, barre des tâches, liste des messages, liste des comptes et des dossiers, corps des messages, en-têtes des messages, etc. Grâce aux indications données ici : http://www.mozilla.org/unix/customizing.html, j'en ai déjà réglé la plupart à ma convenance en ajoutant dans userChrome.css des lignes comme :
Pour finir le travail il me faudrait connaître les noms désignant les quelques éléments de la fenêtre qui demeurent dans une taille de police trop petite, et dont j'ai dressé la liste dans mon premier post. Je pense que je pourrais alors ajouter dans userChrome.css les bons paramètres correspondants.
J'ai déjà treechildren, window, subjectvalue, input, textarea et quelques autres. Où puis-je trouver une liste plus complète ? Penses tu toujours que je pourrais faire des choix aussi fins en dehors des fichiers de configuration propres à Mozilla ?
Le 10.05.2004 22:42, *Slayne* a écrit fort à propos :
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome
(GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de
config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Il s'agit bien de GTK2 (sous Mandrake 10.0), et je m'étais bien aperçu
qu'il n'y avait pas de lien entre Mozilla et kde. Mais je n'aurais
jamais pensé à Gnome parce que je ne l'utilise jamais comme gestionnaire
de fenêtres. Merci donc pour cette information.
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
J'ai essayé une taille énorme pour être sûr de bien voir l'effet
produit, mais aucun effet visible après avoir relancé Mozilla.
Pour simplifier ce genre de config, il existe gtk-theme-switch ou
gtk-theme-switch2, ou encore gnome-control-center si vraiment tu rames.
Je ne trouve pas ces commandes ou menus, mais espère pouvoir m'en passer.
Mozilla emploie diverses polices en diverses tailles en différents
endroits : Barre de menus, barre des tâches, liste des messages, liste
des comptes et des dossiers, corps des messages, en-têtes des messages,
etc. Grâce aux indications données ici :
http://www.mozilla.org/unix/customizing.html, j'en ai déjà réglé la
plupart à ma convenance en ajoutant dans userChrome.css des lignes comme :
Pour finir le travail il me faudrait connaître les noms désignant les
quelques éléments de la fenêtre qui demeurent dans une taille de police
trop petite, et dont j'ai dressé la liste dans mon premier post. Je
pense que je pourrais alors ajouter dans userChrome.css les bons
paramètres correspondants.
J'ai déjà treechildren, window, subjectvalue, input, textarea et
quelques autres. Où puis-je trouver une liste plus complète ?
Penses tu toujours que je pourrais faire des choix aussi fins en dehors
des fichiers de configuration propres à Mozilla ?
Le 10.05.2004 22:42, *Slayne* a écrit fort à propos :
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome (GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Il s'agit bien de GTK2 (sous Mandrake 10.0), et je m'étais bien aperçu qu'il n'y avait pas de lien entre Mozilla et kde. Mais je n'aurais jamais pensé à Gnome parce que je ne l'utilise jamais comme gestionnaire de fenêtres. Merci donc pour cette information.
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
J'ai essayé une taille énorme pour être sûr de bien voir l'effet produit, mais aucun effet visible après avoir relancé Mozilla.
Pour simplifier ce genre de config, il existe gtk-theme-switch ou gtk-theme-switch2, ou encore gnome-control-center si vraiment tu rames.
Je ne trouve pas ces commandes ou menus, mais espère pouvoir m'en passer. Mozilla emploie diverses polices en diverses tailles en différents endroits : Barre de menus, barre des tâches, liste des messages, liste des comptes et des dossiers, corps des messages, en-têtes des messages, etc. Grâce aux indications données ici : http://www.mozilla.org/unix/customizing.html, j'en ai déjà réglé la plupart à ma convenance en ajoutant dans userChrome.css des lignes comme :
Pour finir le travail il me faudrait connaître les noms désignant les quelques éléments de la fenêtre qui demeurent dans une taille de police trop petite, et dont j'ai dressé la liste dans mon premier post. Je pense que je pourrais alors ajouter dans userChrome.css les bons paramètres correspondants.
J'ai déjà treechildren, window, subjectvalue, input, textarea et quelques autres. Où puis-je trouver une liste plus complète ? Penses tu toujours que je pourrais faire des choix aussi fins en dehors des fichiers de configuration propres à Mozilla ?
geo cherchetout
Finalement, voici le contenu du fichier userChrome.css qui me donne satisfaction. Je n'étais pas loin du but, mais je commettais peut-être quelque(s) erreur(s) de syntaxe :
/*couleur de fond légèrement grisée et taille des caractères dans les listes de sujets et de dossiers*/ treechildren { background-color: rgb(240, 240, 250) !important; font-size: 15px !important; }
/*taille des caractères dans certaines boîtes de dialogue et textes divers*/ window { font-size: 14px !important; }
Finalement, voici le contenu du fichier userChrome.css qui me donne
satisfaction. Je n'étais pas loin du but, mais je commettais peut-être
quelque(s) erreur(s) de syntaxe :
/*couleur de fond légèrement grisée et taille des caractères
dans les listes de sujets et de dossiers*/
treechildren {
background-color: rgb(240, 240, 250) !important;
font-size: 15px !important;
}
/*taille des caractères dans certaines boîtes de dialogue et textes divers*/
window {
font-size: 14px !important;
}
Finalement, voici le contenu du fichier userChrome.css qui me donne satisfaction. Je n'étais pas loin du but, mais je commettais peut-être quelque(s) erreur(s) de syntaxe :
/*couleur de fond légèrement grisée et taille des caractères dans les listes de sujets et de dossiers*/ treechildren { background-color: rgb(240, 240, 250) !important; font-size: 15px !important; }
/*taille des caractères dans certaines boîtes de dialogue et textes divers*/ window { font-size: 14px !important; }
Slayne
On 11. 05. 04 00:39, geo cherchetout wrote:
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome (GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Il s'agit bien de GTK2 (sous Mandrake 10.0), et je m'étais bien aperçu qu'il n'y avait pas de lien entre Mozilla et kde. Mais je n'aurais jamais pensé à Gnome parce que je ne l'utilise jamais comme gestionnaire de fenêtres. Merci donc pour cette information.
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
J'ai essayé une taille énorme pour être sûr de bien voir l'effet produit, mais aucun effet visible après avoir relancé Mozilla.
Pour que la config de GTK2 soient répercutés sur Mozilla il faut qu'il soit compilé avec le support GTK2 et pas GTK1, ET utiliser le thème par défaut (Classic), pas Modern. A ce moment, c'est le thème de GTK2 qui est utilisé pour Mozilla, comme c'est le cas pour Firefox et Thunderbird.
On 11. 05. 04 00:39, geo cherchetout wrote:
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome
(GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de
config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Il s'agit bien de GTK2 (sous Mandrake 10.0), et je m'étais bien aperçu
qu'il n'y avait pas de lien entre Mozilla et kde. Mais je n'aurais
jamais pensé à Gnome parce que je ne l'utilise jamais comme gestionnaire
de fenêtres. Merci donc pour cette information.
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
J'ai essayé une taille énorme pour être sûr de bien voir l'effet
produit, mais aucun effet visible après avoir relancé Mozilla.
Pour que la config de GTK2 soient répercutés sur Mozilla il faut qu'il
soit compilé avec le support GTK2 et pas GTK1, ET utiliser le thème par
défaut (Classic), pas Modern. A ce moment, c'est le thème de GTK2 qui
est utilisé pour Mozilla, comme c'est le cas pour Firefox et Thunderbird.
Mozilla n'utilise pas la bibliothèque de KDE (QT), mais celle de Gnome (GTK). Il ne faut donc pas règler ça dans KDE mais dans les fichiers de config GTK (si c'est GTK2, c'est le fichier ~/.gtkrc-2.0)
Il s'agit bien de GTK2 (sous Mandrake 10.0), et je m'étais bien aperçu qu'il n'y avait pas de lien entre Mozilla et kde. Mais je n'aurais jamais pensé à Gnome parce que je ne l'utilise jamais comme gestionnaire de fenêtres. Merci donc pour cette information.
Essai d'ajouter une ligne comme celle ci-dessous à la fin de ce fichier:
gtk-font-name="Arial 10"
J'ai essayé une taille énorme pour être sûr de bien voir l'effet produit, mais aucun effet visible après avoir relancé Mozilla.
Pour que la config de GTK2 soient répercutés sur Mozilla il faut qu'il soit compilé avec le support GTK2 et pas GTK1, ET utiliser le thème par défaut (Classic), pas Modern. A ce moment, c'est le thème de GTK2 qui est utilisé pour Mozilla, comme c'est le cas pour Firefox et Thunderbird.
geo cherchetout
Le 11.05.2004 21:53, *Slayne* a écrit fort à propos :
Pour que la config de GTK2 soient répercutés sur Mozilla il faut qu'il soit compilé avec le support GTK2 et pas GTK1,
Je ne sais si c'est le cas de Mozilla 1.6, rpm livré avec Mandrake 10.0. (où règne aussi GTK2.)
ET utiliser le thème par défaut (Classic), pas Modern. A ce moment, c'est le thème de GTK2 qui est utilisé pour Mozilla, comme c'est le cas pour Firefox et Thunderbird.
J'utilisais le thème Modern quand j'ai essayé en vain ta manip, désolé de ne pas l'avoir précisé. Par curiosité, et pour que tu n'aies pas travaillé pour rien, je viens de réessayer en Classic. J'ai ajouté la ligne indiquée successivement dans les fichiers .gtkrc-2.0, .grkrc-1.2-gnome2, et .gtkrc, en ayant pris soin de renommer mon userChrome.css, mais n'ai jamais pu observer le moindre effet. Il est vrai que ces fichiers sont censés ne pas être édités à la main. Enfin, mon problème est résolu grâce à userChrome.css :-) Merci quand-même, j'ai appris des choses.
Le 11.05.2004 21:53, *Slayne* a écrit fort à propos :
Pour que la config de GTK2 soient répercutés sur Mozilla il faut qu'il
soit compilé avec le support GTK2 et pas GTK1,
Je ne sais si c'est le cas de Mozilla 1.6, rpm livré avec Mandrake 10.0.
(où règne aussi GTK2.)
ET utiliser le thème par
défaut (Classic), pas Modern. A ce moment, c'est le thème de GTK2 qui
est utilisé pour Mozilla, comme c'est le cas pour Firefox et Thunderbird.
J'utilisais le thème Modern quand j'ai essayé en vain ta manip, désolé
de ne pas l'avoir précisé. Par curiosité, et pour que tu n'aies pas
travaillé pour rien, je viens de réessayer en Classic. J'ai ajouté la
ligne indiquée successivement dans les fichiers .gtkrc-2.0,
.grkrc-1.2-gnome2, et .gtkrc, en ayant pris soin de renommer mon
userChrome.css, mais n'ai jamais pu observer le moindre effet. Il est
vrai que ces fichiers sont censés ne pas être édités à la main.
Enfin, mon problème est résolu grâce à userChrome.css :-)
Merci quand-même, j'ai appris des choses.
Le 11.05.2004 21:53, *Slayne* a écrit fort à propos :
Pour que la config de GTK2 soient répercutés sur Mozilla il faut qu'il soit compilé avec le support GTK2 et pas GTK1,
Je ne sais si c'est le cas de Mozilla 1.6, rpm livré avec Mandrake 10.0. (où règne aussi GTK2.)
ET utiliser le thème par défaut (Classic), pas Modern. A ce moment, c'est le thème de GTK2 qui est utilisé pour Mozilla, comme c'est le cas pour Firefox et Thunderbird.
J'utilisais le thème Modern quand j'ai essayé en vain ta manip, désolé de ne pas l'avoir précisé. Par curiosité, et pour que tu n'aies pas travaillé pour rien, je viens de réessayer en Classic. J'ai ajouté la ligne indiquée successivement dans les fichiers .gtkrc-2.0, .grkrc-1.2-gnome2, et .gtkrc, en ayant pris soin de renommer mon userChrome.css, mais n'ai jamais pu observer le moindre effet. Il est vrai que ces fichiers sont censés ne pas être édités à la main. Enfin, mon problème est résolu grâce à userChrome.css :-) Merci quand-même, j'ai appris des choses.
