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