[plt-dev] language dialog
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.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!