On Fri, Jan 29, 2010 at 10:27 AM, Eli Barzilay <e...@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 <e...@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. Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
