[wingide-users] Fonts

[Wing IDE Support]

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,

John