User-agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-US; rv:1.2.1) Gecko/20021130
I just updated to M4, and first I must say kudos to Andre and the rest
of the MacOSX team for the much improved UI.
However, I'm wondering if there is any way to control the font used by
the list and table widgets that are part of the main view in this
version of Eclipse. Suddenly, they have become rather large. Window ->
Preferences -> Workbench -> Fonts lets me set fonts for the editor, and
controls and layouts in dialog boxes, but don't effect anything in the
main view even after a quit and restart.