[plt-scheme] Fonts

At Tue, 31 May 2005 16:49:31 -0300, Pupeno wrote:
> On Tuesday 31 May 2005 13:19, you wrote:
> > At Sun, 29 May 2005 21:37:47 -0300, Pupeno wrote:
> > > Do you know how can I get DrScheme to show bigger fonts (not for the
> > > sources, but for the interface) ? they are unreadable-small.
> >
> > Which version and platform?
> 208 on Gentoo Linux.

Ah - I see that the preference wasn't working right in the v20x series.

One way around this is to set the |MrEd:ScreenSystem__| preference to
something like

 " Sans-32"

or 

 "-*-lucida-${Screen$[weight]}-${Screen$[style]}-normal-*-32-*-*-*-*-*-*-*"

which causes MrEd to use the 32-point font whenever the control font is
used.

The former works with fontconfig (the leading space is important); the
latter should always work, but it doesn't use anti-aliasing for fonts.

Matthew