[plt-dev] language dialog, some minor changes & bugfixes

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Jan 29 15:55:35 EST 2010

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.

Posted on the dev mailing list.