I'm not sure I'm quite getting this. Is the idea that, if there is a
#lang line present, DrRacket would always use that language. If there
is no #lang line present, then DrRacket would use some other language,
based on what was recently chosen in the language dialog?
Robby
On Wed, Mar 21, 2012
The below email transcript indicates that we're still having problems
communicating how to use the language dialog to users. Maybe a
screenshot in the Quick tutorial would help, although I think the
only real solution is to move to using #lang for everything.
-- Forwarded message
I think the only place we encourage users to not use that is the
teaching languages, right?
Robby
On Wed, Mar 21, 2012 at 7:05 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
The below email transcript indicates that we're still having problems
communicating how to use the language dialog to
On Wed, Mar 21, 2012 at 8:44 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I think the only place we encourage users to not use that is the
teaching languages, right?
Yes, that's right, but people who've already used the student
languages are a big constituency for things like the Quick
The whole #lang thing has bothered me for a long time. How about this?
EVERY Racket source file is supposed to start with a #lang line, which DrRacket
shows in a separate (non-scrollable, one-line) pane, hiding the word #lang,
since it MUST be there and therefore provides the user no
Unfortunately, we're not quite there yet. We do have the pane (but
with the #lang present), but the lack of the other things is mostly a
concession to the fact that it isn't yet the case that every source
file in DrRacket should begin with #lang. Only most.
Robby
On Wed, Mar 21, 2012 at 8:12 AM,
On Wed, Mar 21, 2012 at 7:47 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Wed, Mar 21, 2012 at 8:44 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I think the only place we encourage users to not use that is the
teaching languages, right?
Yes, that's right, but people who've
On Wed, Mar 21, 2012 at 10:48 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Also, Roger (the bug reporter) tried basically all the languages in
the dialog, but did not understand that Use the language declared in
the source was even an option.
Ugh. That's unfortunate. We spent a lot
How about a change to the purpose of the Languages control?
Currently, I think of the control *selecting how to determine* which
language to use. Example settings whatever #lang says, Beginning
Student, etc.
The control could be changed to *present the determination* (by #lang or
by some
I know I'm not a contributor (yet), but I think it would be nice if #lang
always took priority, and a warning would appear if the #lang overrode the
language drop-down (drop-up in DrRacket I guess). I don't think anyone
using the teaching languages ever uses #lang, and when they do it's usually
10 matches
Mail list logo