fonts: what is a "point" in Linux/Gnome?

[Peter Alcibiades]

This is really puzzling.  The thing I do see is that Rev's IDE on Linux is
grotesquely small, and the dictionary font is grotesquely small.  I'm really
surprised in this age of political correctness that Rev considers it
acceptable because it must be simply unusable by a substantial minority of
the population.

But I can't see that my desktop icons or panels or any other UI elements are
materially different in size from the way they are in Windows.  And if they
are, you just resize them, surely?

But as to the fonts, I fired up Rev, created a stack with a field in it,
then put the font size to 12, and opened up OpenOffice and did the same
thing.  Its true.  Rev looks like its about 6 point, and OO looks normal 12
point.  After you find one of the few fonts they will both display!

So which is wrong?  The answer surely must be Rev.  All other applications
on Linux work just fine and display the fonts in the same way.  Rev is doing
something unaccountably different.

Its exactly the same as which fonts they display.  All the other apps find
the same fonts.  Its exactly the same as desktops, all the other apps allow
them to be used.

Its not Linux.  Its not even Gnome, because it doesn't matter which window
manager you use.  Its Rev.  Its got to be fixed. 
-- 
View this message in context: http://n4.nabble.com/fonts-what-is-a-point-in-Linux-Gnome-tp1573008p1573367.html
Sent from the Revolution - User mailing list archive at Nabble.com.