[plt-dev] language dialog

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

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.


Posted on the dev mailing list.