I don't use GNOME so this could be incredibly simple for someone who does to point out how to fix.
I'm finding the font size in eclipse (GTK) too large. Can I make it smaller easily? (some sort of gtk-font-config??) great work on the latest eclipse packages btw. the quality has really picked up. c -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
