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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jan 29 16:45:48 EST 2010

I like something along those lines. Esp something like that to replace
the language dialog entirely, eventually.


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

Posted on the dev mailing list.