Re: seamonkey menu font size
Felix Miata <[email protected]> Mon, 20 Dec 2004 10:39:59 -0500
| Newsgroups | gmane.comp.mozilla.devel.gtk |
|---|---|
| Organization | less than infinite |
| Message-ID | <[email protected]> |
On 04/12/19 21:28 Felix Miata apparently typed: > At http://24.110.13.74/SS/fonts/mozchrome/chromesizetable.html I > tabulated how we set (chrome) menu fonts in seamonkey for gtk1, gtk2 & > win, and can't figure out why our gtk1 menu font size is 12px regardless > of system or browser DPI when we set gtk2 & win in pt. NAICT, everything > in gtk1 is set in px. Can anyone explain why? It makes the UI quite hard > to see at high resolution, in the absence of userChrome.css overrides. On IRC I got the following response from a knowledgeable developer: "In http://lxr.mozilla.org/seamonkey/source/gfx/src/gtk/nsDeviceContextGTK.cpp , we get the fonts in GTK1 by requesting the pixel size from the XFontStruct. That it doesn't change probably means either that the font sizes for the system are stored in pixels or that something is wrong. IIRC, GTK1 allowed users to set their font sizes in either pixels or points -- perhaps you set them in pixels or the defaults are in pixels?" After that response, I did a little more testing. I booted SuSE 8.1, ran the same 2004120605 gtk1 build, and got the same results as I did with that build on SuSE 8.2 & RedHat 7.3. Then I booted the same Fedora Core 2 system as before, but ran the 2004120605 gtk1 build. It too produced identical results as running on SuSE 8.1, SuSE 8.2 & RedHat 7.3, 12px regardless of DPI. NAICT, in KDE Control Center -> Appearance -> Fonts, the only option for choosing fonts is in points. It seems to me we have a Mozilla gtk1 bug of some sort here. Anyone think differently? -- "I am the way, and the truth, and the life. No one comes to the Father except through me." John 14:6 NIV Team OS/2 ** Reg. Linux User #211409 Felix Miata *** http://members.ij.net/mrmazda/