on Sun, Aug 12, 2001 at 11:21:36AM +0100, John Toon (john.toon@btinternet.com) wrote: > On 12 Aug 2001 02:10:26 -0700, Karsten M. Self wrote: > > > I've updated to a recent Mozilla under Woody/testing: > > > > Version: 2:0.9.3-1 > > > > Problem: the menu fonts are all rather larger than I'd like -- appear > > to be Helvetica or Arial, roughly 16 points. I prefer fixed fonts for > > all menus, at about 10 points. > > I had this too, and it was rather annoying. Whilst it is possible to > configure the font sizes that GTK/GNOME programs use, with Mozilla... > > I bet you've got the "100 dpi" X fonts installed, correct? This isn't the configuration change I'm looking for. It's not a fontset (100/75) issue, it's face and pointsize. This is configurable via XUL somehow, but just how isn't immidately apparent and my experience is at odds with available docs. -- Karsten M. Self <kmself@ix.netcom.com> http://kmself.home.netcom.com/ What part of "Gestalt" don't you understand? There is no K5 cabal http://gestalt-system.sourceforge.net/ http://www.kuro5hin.org Free Dmitry! Boycott Adobe! Repeal the DMCA! http://www.freesklyarov.org Geek for Hire http://kmself.home.netcom.com/resume.html
Attachment:
pgpSJyeuFwYtt.pgp
Description: PGP signature