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.
I was thinking that the line should normally display something like
"#lang scheme", but the *menu* should display "Determine language from
source".
Ryan
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
