[news.eclipse.tools] Re: Changing Tree/Table font on MacOSX?

[Andre Weinand <Andre_Weinand@xxxxxxx>]

On 20.12.2002 5:30 Uhr, in article atu5u3$912$1@xxxxxxxxxxxxx, "Wilhelm
Fitzpatrick" <rafial@xxxxxxxx> wrote:

> 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.

I've created bug report #28739.

--andre