[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: really, really dumb DrScheme question





> From: Matthias Felleisen <matthias@ccs.neu.edu>
> Date: Sun, 23 Dec 2001 21:17:37 -0500 (EST)
> 
>   > From: Michael Vanier <mvanier@bbb.caltech.edu>
>   > Date: Sun, 23 Dec 2001 17:56:54 -0800 (PST)
>   > 
>   > I'm running DrScheme 200 on Linux.  Is there a way to change the background
>   > color of the windows from white to some other color?  
> 
> No. 
> 
>   > Ditto for the font colors.
> 
> Yes. Edit | Preferences | Check Syntax
> 

Nifty!  Consider this an official request for the ability to change the
background color.  I find pure white to be hard on the eyes after a while.

Mike