((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Fonts

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Jun 2 10:01:25 EDT 2005		 
At Wed, 1 Jun 2005 18:39:54 -0300, Pupeno wrote:
> On Tuesday 31 May 2005 17:40, Matthew Flatt wrote:
> > One way around this is to set the |MrEd:ScreenSystem__| preference to
> What is |MrEd:ScreenSystem__| and/or where do I set it ?

Added a after the first one in "~/.plt-prefs.ss":

 (|MrEd:ScreenSystem__| "....")

where "...." is replaced by your font choice.

Matthew
Posted on the users mailing list.