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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Sep 15 07:32:02 EDT 2009

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
>


Posted on the users mailing list.