[wingide-users] Non-integer font sizes

Wingware Support support at wingware.com
Mon Jun 29 08:38:56 MDT 2009


Aidan Fitzpatrick wrote:
> I'd like to be able to use non-integer font sizes in Wing IDE. Sounds a 
> bit fussy, but it works fine in GNOME: you can set font preferences to 
> 9.25, 8.5, etc. and it all works beautifully.
> 
> If you set GNOME's default "Fixed width" font size to a non-integer and 
> get Wing to use "system default", it gets confused and appears to round 
> up. If you explicitly tell Wing to use Monospace 8.5, it'll use Monospace 9.
> 
> I want to use 8.5 because 9 is too big and 8 is too small. Everything 
> else on my desktop seems OK. And, no, zooming in and out with the 
> keyboard isn't what I want, and nor is changing my DPI.
> 
> Has anyone else run into this and maybe found a solution?

It looks like Scintilla, the underlying code editor widget, only supports
integer sizes.  I'm not sure of the reason for this, tho it may be so it
works w/ the various GUI back-ends it runs on (other than gtk).

I agree it would be nice to be able to do this, however.

-- 

Stephan Deibel
Wingware | Python IDE
Advancing Software Development

www.wingware.com



More information about the wingide-users mailing list