How can I change the Eclipse GUI font size?
For instance, I would like to make the font for "Project Explorer" or "Members" smaller.