[plt-scheme] PLT Scheme v4.1.1

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu Nov 20 08:07:48 EST 2008

I suppose emphasis is a fair reason why, but also because it isn't
just a preference (although some of the state is indeed saved in the
preferences).

Robby

On Wed, Nov 19, 2008 at 9:18 PM, Andrew Reilly
<andrew-scheme at areilly.bpc-users.org> wrote:
> On Wed, Nov 19, 2008 at 10:06:31PM -0500, Eli Barzilay wrote:
>> On Nov 20, Andrew Reilly wrote:
>> >
>> > OK: feedback.  Is it possible to unwire the #lang line, even if
>> > only as a configuration option?  I'd choose an extra line of
>> > real source code, if I had a choice.  I looked in the "choose
>> > language..." dialog, but couldn't see an obvious switch.
>>
>> Preferences -> Editing -> General -> "Always show #lang line".
>
> Ah-ha!  I knew there'd be a knob in there somewhere.  Thanks!
>
> I had actually forgotten about the main preferences dialog
> altogether.  Why is the Choose Language not a child of that,
> instead of a menu item on its own?  Emphasis?
>
> Cheers,
>
> Andrew
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
>


Posted on the users mailing list.