Poster une réponse à un sujet: taille des polices menu/toolbar dans FF2
Attention, ce sujet est un sujet ancien (6574 jours sans réponse)
philfr
Tiens, j'ai chipoté avec ce setting qui ne change rien ici (au boulot) sauf si on y met une valeur absurde (j'ai voulu mettre 100 puis 80 et me suis retrouvé avec 10080...)
Plaisir garanti !
Plaisir garanti !
zion
C'est plus simple évidemment
H2G2
Tiens les commentaires en rouge montrent que t'as pas été voir la babe, comment se fait-ce ?
comment se fesse
C'est pour ménager mes vieux yeux Mais ça montre tout au plus que je n'ai pas lu le 4e commentaire, hein
Sinon, petit topo toujours pour ceux que ça intéresserait éventuellement (car le problème n'est pas si rare que ça avec FF 2.0 sous Linux, ai-je appris), ça m'a beaucoup amusé de jouer avec le userChrome.css pendant des heures pour essayer de récupérer vaille que vaille dans chaque menu et boîte de dialogue la police + petite à laquelle j'étais habitué.
Maintenant, la vraie solution au problème en question
Dans les versions Linux de FF 2.0, quand on fait about:config si on cherche bien, on peut trouver une option layout.css.dpi qui, curieusement (chez moi, en tout cas, mais je ne suis pas le seul) a pour valeur -1, du coup, il n'applique pas la résolution utilisée par le reste de l'environnement
Il suffit de mettre 0 à la place et tout rentre dans l'ordre
ovh
Tiens les commentaires en rouge montrent que t'as pas été voir la babe, comment se fait-ce ?
H2G2
Non, pour une fois, c'est pas de ta faute
Ben, je l'aime bien mon thème. C'est pas le thème de base, c'est çui-là
Discret et élégant, puis j'ai le même dans Thunderbird, ça fait "concept"
Ben, je l'aime bien mon thème. C'est pas le thème de base, c'est çui-là
Discret et élégant, puis j'ai le même dans Thunderbird, ça fait "concept"
zion
Je cherchais un bug sur le site... je trouvais pas
Sinon tu peux aussi utiliser un thème kivabien plutôt que le minimal peut être, nan?
Sinon tu peux aussi utiliser un thème kivabien plutôt que le minimal peut être, nan?
H2G2
ça marche avec le userChrome.css J'avais juste pas fait les choses comme il faut
Pour ceux que ça intéresserait (sait-on jamais...) il faut spécifier la taille de la police ET lui dire d'abord à quoi ça doit s'appliquer (ce que je n'avais pas fait espérant qu'il l'appliquerait à toute l'interface, mais du coup il s'en fichait)
Bref, en l'occurence, j'ai rajouté
menubar, menubutton, menulist, menu, menuitem, toolbarbutton.bookmark-item {
font-size: 8pt !important;
}
et il est content comme ça (moi aussi, donc youpie )
Maintenant, savoir pourquoi le passage à FF 2.0 m'avait changé la taille des caractères, ça...
Pour ceux que ça intéresserait (sait-on jamais...) il faut spécifier la taille de la police ET lui dire d'abord à quoi ça doit s'appliquer (ce que je n'avais pas fait espérant qu'il l'appliquerait à toute l'interface, mais du coup il s'en fichait)
Bref, en l'occurence, j'ai rajouté
menubar, menubutton, menulist, menu, menuitem, toolbarbutton.bookmark-item {
font-size: 8pt !important;
}
et il est content comme ça (moi aussi, donc youpie )
Maintenant, savoir pourquoi le passage à FF 2.0 m'avait changé la taille des caractères, ça...
H2G2
KDE, mais justement, pour toutes les autres applications, ça se règle dans le centre de configuration de KDE... SAUF Firefox qui ne veut rien entendre (peut-être parce qu'il ne faut pas l'installer, du moins dans Suse: c'est juste une archive .tar.gz à extraire dans le /home et les paramètres personnels sont dans un dossier ./mozilla/firefox/xxxx.default )
Mais je crois que j'ai trouvé Je relance Firefox pour vérifier et je reviens
Mais je crois que j'ai trouvé Je relance Firefox pour vérifier et je reviens
philfr
Tu es sous Gnome ? KDE, XFCE4 ?
La police des menus FF correspond à la police choisie dans ton environnement (en tous cas, c'est comme ça chez moi sous Xfce).
La police des menus FF correspond à la police choisie dans ton environnement (en tous cas, c'est comme ça chez moi sous Xfce).
cauet
Te te fait vieux H2G2, Mozilla pense à tes petits yeux..