[plt-dev] language dialog

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jan 29 11:56:45 EST 2010

On Fri, Jan 29, 2010 at 10:55 AM, Ryan Culpepper <ryanc at ccs.neu.edu> wrote:
> 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
> sense.

Yes, it would have to.

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

Oh, that would be much easier. I'll do that for now. :)


Posted on the dev mailing list.