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, Stephen Bloch <bl...@adelphi.edu> wrote: > 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 information. > The "choose language" menu commands would simply replace the contents of > this pane with one of several bundled language names. If you don't want to > use one of the bundled ones, you can type into this pane yourself, and the > next time you hit "run", either that language is found or it isn't. > > If you open a Racket source file in a text editor, you see the same #lang > line you see now. > > What to do with legacy source files that don't have #lang lines? That > shouldn't be insurmountable.... > > Stephen Bloch > sbl...@adelphi.edu _________________________ Racket Developers list: http://lists.racket-lang.org/dev