[plt-dev] language dialog
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.
Ryan