On Fri, Jan 29, 2010 at 10:55 AM, Ryan Culpepper <ry...@ccs.neu.edu> wrote: > Robby Findler wrote: >> >> 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. > > In that case, would would switching from "#lang scheme" to "#lang lazy" > actually change the first line of the program? I suppose that might make > sense.
Yes, it would have to. > I was thinking that the line should normally display something like "#lang > scheme", but the *menu* should display "Determine language from source". Oh, that would be much easier. I'll do that for now. :) Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
