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

[Mark Wieder]

Peter-

Monday, March 1, 2010, 6:36:15 PM, you wrote:

> see any difference in this whatever the window manager.  So maybe this is
> something Rev is doing in Gtk?  And if so, why on earth are they doing it?

How about launching revolution from the commandline instead of
double-clicking the icon? I've found gtk errors that way, and at least
you should get an interesting message stream...

-- 
-Mark Wieder
 mwieder at ahsoftware.net