30 Sep
2009
30 Sep
'09
5:04 p.m.
On Sep 30, 2009, at 1:20 AM, Frank von Delft wrote:
But the font is absolutely enormous, which is terrifically annoying. Where do I change it? (I didn't see it in the preferences.)
I guess this means you're using Linux - GTK has a weird idea of what "12-point" means. Unfortunately, there is no easy way to change the font at the moment. Sorry! It is not especially difficult to fix, however, so it will be in the next version. -Nat ------------------- Nathaniel Echols Lawrence Berkeley Lab 510-486-5136 [email protected]