Salut les poteaux
J'ai mis à jour mon Firefox dans mon environnement Linux (ousque je n'allais plus jouer depuis un petit moment) et je vois que FF2 me colle des caractères + gros dans les menus et barres d'outils
Voyez plutôt:
FF 1.5

FF 2.0

C'est pas gênant-gênant, mais bon, c'était mieux avant.
Une idée pour arranger ça? (on parle bien des polices de l'interface, hein, pas de l'affichage des pages).
Il y a un thème (Modern Pinball) mais c'est pas ça qui fait.
Dans about:config je trouve kedal
J'ai essayé de jouer avec le userChrome.css mais FF2 a l'air d'ignorer superbement les modifications que j'y introduis. M'énerve...

Te te fait vieux H2G2, Mozilla pense à tes petits yeux..

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).

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

ç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é

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...

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?

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"

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

C'est plus simple évidemment

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 !