Two hours ago, John Clements wrote: >> Currently, opening a file that doesn't begin with a #lang line >> results in a window whose language level is inherited from the >> buffer that was foremost when the open-file was issued (IIUC).
No, it defaults to whatever language you last chose in the language level (or in the popup at the bottom of the drracket window), unless it sees a #lang line at the beginning, in which case it uses the 'use the language declared in the source' language (but that does not count as changing that last choice). > I think this is a mistake. I think that instead, the language > level should revert to "Use the language defined in the source." I don't want to default to 'use language in source' because of students that have chose one of the teaching languages. They should keep getting that student language over and over and not having to explicitly keep re-choosing it. Unless I misunderstand the proposal somehow? On Thu, Oct 6, 2011 at 1:20 PM, Eli Barzilay <e...@barzilay.org> wrote: > I'd like to > see the "use the language defined in the source" become the default > for all purposes Until the teaching languages work well in this mode, I oppose this change. Once they do, I'm all for it. > -- so at least when you open a file that does have a > `#lang' line, or when you type it in, the non-"use the language > defined in the source" languages should make it ask you if you want to > switch to it (to the "use the language defined in the source" > language). When you open a file that begins with #lang DrRacket already just changes the language level (but nothing detects when you type it). > If anything, just the name of the "use the language defined in the > source" language is a very long one, which is unfortunate since it's > often the one that gets recommended often. Easy to agree here. :) Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
