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.
Ryan
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
