I like something along those lines. Esp something like that to replace the language dialog entirely, eventually.
Robby On Fri, Jan 29, 2010 at 2:55 PM, Matthew Flatt <[email protected]> wrote: > What if the default where > > --------------------------- > #lang |click me to pick a language| > --------------------------- > > ? > > An experienced user could delete the box and type "scheme" or > "typed-scheme" or whatever. A student could click the box and get a > list of popular choices, including the HtDP languages. And if someone > just picks "scheme", then they've picked the right thing. > > This interface both help people pick a language and reinforce the idea > that the "#lang" line determines the language. > > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-dev > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
