[plt-scheme] change font size in DrScheme edit/interactions window?

Somehow I hadn't found that!!

Too obvious!

Thanks and sorry to have taken your time with this,

  -Lee

On Sep 15, 2009, at 7:32 AM, Robby Findler wrote:

> Did you try the preferences window? Under the "DrScheme" menu.
>
> Robby
>
> On Tue, Sep 15, 2009 at 6:24 AM, Lee Spector  
> <lspector at hampshire.edu> wrote:
>>
>> Is there a way to change (increase) the font size in DrScheme's
>> edit/interactions windows? I'm using Mac OS X if that makes a  
>> difference.
>>
>> I'm trying to use DrScheme in a classroom setting in which the  
>> projector
>> resolution and physical layout of the room conspire to make code  
>> unreadable
>> to most of the students. The Mac OS X screen zoom feature has  
>> worked as a
>> stop-gap so far, but it can be disorienting and what I really want  
>> is just
>> for the text in the editor/interactions window to be in a larger  
>> font.
>>
>> Possible?
>>
>> Searching the docs I was only able to find ways to change the size  
>> of fonts
>> in slideshows and the like, but nothing on changing the DrScheme  
>> interface.
>>
>> Thanks,
>>
>>  -Lee
>>
>> --
>> Lee Spector, Professor of Computer Science
>> School of Cognitive Science, Hampshire College
>> 893 West Street, Amherst, MA 01002-3359
>> lspector at hampshire.edu, http://hampshire.edu/lspector/
>> Phone: 413-559-5352, Fax: 413-559-5438
>>
>> Check out Genetic Programming and Evolvable Machines:
>> http://www.springer.com/10710 - http://gpemjournal.blogspot.com/
>>
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>

--
Lee Spector, Professor of Computer Science
School of Cognitive Science, Hampshire College
893 West Street, Amherst, MA 01002-3359
lspector at hampshire.edu, http://hampshire.edu/lspector/
Phone: 413-559-5352, Fax: 413-559-5438

Check out Genetic Programming and Evolvable Machines:
http://www.springer.com/10710 - http://gpemjournal.blogspot.com/