Wing IDE Support
support at wingide.com
Mon Aug 9 13:10:15 EDT 2004
Luc Bourhis wrote:
> at the moment, the entire UI works with two fonts: the "display" font
> and the "editor" font. This is a bit too limited to my taste. I would at
> least find it useful to have a bigger font for the menus and the tab
> labels than for the editor or the general display.
Do you want the font for the contents of the project tree display and
other tools smaller than the menus & tabs? You can already have the
font for the editor window smaller if you use a different editor font.
Thanks for the suggestion,
More information about the wingide-users