[plt-dev] language dialog

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

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



Posted on the dev mailing list.