[plt-scheme] Fonts

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue May 31 16:40:30 EDT 2005

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"



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

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


Posted on the users mailing list.