Poster une réponse à un sujet: taille des polices menu/toolbar dans FF2
Attention, ce sujet est un sujet ancien (6600 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 ! :grin:
zion
:prosterne:

C'est plus simple évidemment :petrus:
H2G2
Tiens les commentaires en rouge montrent que t'as pas été voir la babe, comment se fait-ce ? :oh:
:neowen:

comment se fesse :aloy:
C'est pour ménager mes vieux yeux :oh: Mais ça montre tout au plus que je n'ai pas lu le 4e commentaire, hein :itm:
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 :tinostar:
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 :oh:
Il suffit de mettre 0 à la place et tout rentre dans l'ordre :oh:

ovh
Tiens les commentaires en rouge montrent que t'as pas été voir la babe, comment se fait-ce ? :oh:

:neowen:
H2G2
Non, pour une fois, c'est pas de ta faute :grin:
Ben, je l'aime bien mon thème. :oh: C'est pas le thème de base, c'est çui-là
http://mozilla-themes.schellen.net/img/firefox-modernpinball-preview.png
Discret et élégant, puis j'ai le même dans Thunderbird, ça fait "concept" :petrus:
zion
Je cherchais un bug sur le site... je trouvais pas :ddr555:

Sinon tu peux aussi utiliser un thème kivabien plutôt que le minimal peut être, nan? :petrus:
H2G2
:yaisse: ça marche avec le userChrome.css J'avais juste pas fait les choses comme il faut :tinostar:
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 :martoh_drapobleu: )

Maintenant, savoir pourquoi le passage à FF 2.0 m'avait changé la taille des caractères, ça... :petrusspamafote:
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é :oh: Je relance Firefox pour vérifier et je reviens :oh:
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).
cauet
Te te fait vieux H2G2, Mozilla pense à tes petits yeux.. :topicalacon:
Catégorie:  






Ada
CSS
Cobol
CPP
HTML
Fortran
Java
JavaScript
Pascal
Perl
PHP
Python
SQL
VB
XML
Anon URL
DailyMotion
eBay
Flickr
FLV
Google Video
Google Maps
Metacafe
MP3
SeeqPod
Veoh
Yahoo Video
YouTube
6px
8px
10px
12px
14px
16px
18px
Informaticien.be - © 2002-2024 AkretioSPRL  - Generated via Kelare
The Akretio Network: Akretio - Freedelity - KelCommerce - Votre publicité sur informaticien.be ?