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

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 <mflatt at cs.utah.edu> 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
>