[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: the evergreen: mozilla 1.0 and gnome2

Hi Jérôme

First, thanks a lot for your answer!!

Am Montag, 07.07.03 um 14:45 Uhr schrieb Jérôme Warnier:

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)


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?

AFAIK 1.0 is the so called stable branch, and only 1.4 is going to be the new stable branch.

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.

Cool!! But I finally found an answer to only alter the font sizes without going for aa fonts:

http://lists.debian.org/debian-user/2003/debian-user-200307/ msg00519.html

Well, my question has basically already been answered in that post, but unfortunately I used the wrong terms with the archive search engine and so did not find it. What I did was:

In ~/.mozilla/default/*/chrome/userChrome.css, I put

* {
  font-size: 8pt !important;

Thats all (I also altered the entry concerning the pop-up menus, but it basically is all alredy in the example file). But: what's not in the example file: you definitely NEED the "*" before the "{", otherwise it WON'T work!!

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.

Hmm, don't know if mozilla 1.0 would listen to gtk1.2-gnome2 (don't remember the correct file name) or something.

I hope you have any inputs to help me, I would really appreciate it!

Thanks alot, and all the best,


Thanks again for your answer!! Best wishes,

Reply to: