[wingide-users] Fonts

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,

John




More information about the wingide-users mailing list