It’s only been 1 day since I setup my gnome to use a smaller font, but it already feels much nicer. Really amazing what a small little change can do. I’m one of those persons who wants as much as possible on his screen. Maybe that’s something typically for coders? Many people I know want clear and big fonts, I want small and more.
For all you coders out there who use gnome and haven’t set there font smallers, really try it out. Maybe you’ll have the same reaction as me.
One thing I noticed was the fact that eclipse has it’s own font settings and I had to change these manually, no biggy but it’s a shame it’s not (yet) integrated.