New XFree86 now available !

[James H. Cloos Jr.]

>>>>> "Jamie" == Jamie Zawinski <jwz@jwz.org> writes:

Jamie> I use 3.0, which doesn't have that preference.  Anyway, I think
Jamie> that in 4.0, that preference overrides document-specified sizes
Jamie> too, not just faces.

Nope.  Wish it did.  As it is, there is no easy way to ensure both
fonts large enough to be legible and small enough that a reasonable
amount of info can be seen at once.

Now, that said, there are a number of preferences.js settings that do
not show up in the preferences dialog.  I've yet to read through the
docs for those; perhaps one of them deals w/ the issue.

-JimC
-- 
James H. Cloos, Jr.  <http://www.jhcloos.com/cloos/public_key> 1024D/ED7DAEA6 
<cloos@jhcloos.com>     E9E9 F828 61A4 6EA9 0F2B  63E7 997A 9F17 ED7D AEA6