[plt-scheme] Non-Integral Font Sizes in DrScheme

At Fri, 15 May 2009 23:48:16 -0400, Taylor Venable wrote:
> Is there a way to use a non-integral font size in DrScheme?  For
> example, I want to use DejaVu Sans Mono at 10.5 because 10 mashes some
> of the letters together and 11 is too big.  When I try to set it by
> writing a non-integral value into the prefs file directly the default
> value (on one of my systems it's 11, and on another 12) is used
> instead.  This is what I do for GTK, both generally in .gtkrc-2.0 and
> in Vim where I can 'set guifont=DejaVu\ Sans\ Mono\ 10.5'; as another
> example in FVWM one can say 'DefaultFont "xft:DejaVu Sans:size=9.5"'.
> As may already be apparent this is under X11.

Currently, only integer font sizes are supported. We'll add this to the
growing list of improvements that should be included in a new MrEd.