[plt-dev] language dialog

From: Ryan Culpepper (ryanc at ccs.neu.edu)
Date: Fri Jan 29 11:55:31 EST 2010

Robby Findler wrote:
> On Fri, Jan 29, 2010 at 10:27 AM, Eli Barzilay <eli at barzilay.org> wrote:
>> On Jan 29, Ryan Culpepper wrote:
>>> Eli Barzilay wrote:
>>>> On Jan 29, Robby Findler wrote:
>>>>> On Thu, Jan 28, 2010 at 11:32 PM, Eli Barzilay <eli at barzilay.org> wrote:
>>>>>>> How about updating the line at the bottom of the frame based on
>>>>>>> the language found also? That is, instead of "Module", it should
>>>>>>> say something like "Module: scheme" or "Module: scheme/base" or
>>>>>>> "Module: r6rs".
>>>>>> Actually, I've been meaning to suggest adding a language property
>>>>>> for the display string for the language -- then both DrScheme and
>>>>>> MzScheme could use it.  The default could be the language module
>>>>>> that gets used, or the laguage specification part on the input.
>>>>> I don't really think that the string at the bottom of the dialog is
>>>>> that useful for the module language. If you're switching to the
>>>>> module language, then you probabl don't have anything particularly
>>>>> interesting in your #lang line yet anyways, and if you're switching
>>>>> away, then hukairs?
>>>>> Or maybe I misunderstand?
>>>> I think that Ryan was talking about the "Language: Foo" text at the
>>>> top of the interactions window.  At least that's what I was referring
>>>> to.
>>> I was talking about the label below the interactions window, the one
>>> that pops up the quick language menu.
>> Same text.
> Oh, I see. So the entries of that menu should be either languages (in
> the current sense) or previously successful "#lang ..." lines that
> have shown up at the top of the drscheme window.

In that case, would would switching from "#lang scheme" to "#lang lazy" 
actually change the first line of the program? I suppose that might make 

I was thinking that the line should normally display something like 
"#lang scheme", but the *menu* should display "Determine language from 


Posted on the dev mailing list.