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]

Reply via email to