Le sam 05/07/2003 à 17:47, Andreas Wüst a écrit : > (please cc me since I am not subscribed to the -gtk-gnome list) > > (Please note that I've alredy asked this question on -user, but nobody > seemed to know the answer) > > Hi > > I've installed gnome2 from unstable and am running mozilla 1.0 from > stable. To go straight, the mozilla ui (i.e. menu, bookmark bar, etc.) > fonts are just ways too big! With gnome1.4 this hasn't been a problem > since mozilla 1.0 seemed to listen to the "application font" settings > within gnome-control-center, but with gnome2, no chance. Why do you keep Mozilla 1.0?
Anyway, it has to do with the fact that Mozilla 1.0 does not use XFt, which 1.2+ use. To use it, install the package mozilla-xft. > > What do I have to do in order to get some sensible font sizes for > mozilla? (And, yes, I already read > http://www.mozilla.org/unix/customizing.html aswell as > http://www.mozilla.org/unix/dpi.html, but hey, we aren't doing no > profiles in debian! I've changed user.css and userChrome.css > accordingly, but whereever I put those files, they did not have any > impact on mozilla at all.) Maybe it has something to do with the fonts in GTK+ 1.x? If so, the current control-panel does not allow you to change them. > I hope you have any inputs to help me, I would really appreciate it! > > -- > Thanks alot, and all the best, > Andi >
signature.asc
Description: Ceci est une partie de message=?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=
