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

On Fri, Jan 29, 2010 at 3:11 PM, Eli Barzilay <eli at barzilay.org> wrote:
> On Jan 29, Robby Findler wrote:
>> And finally, one question: for the "what do I do to get started" ie
>> the "not really a language" language? It should probably change
>> somehow or maybe just go away. Opinions? (This is the language that
>> you get if you delete your prefs and start up drscheem; there isn't
>> another simple way to get there).
>
> I vote for retiring it...

Why?  Have our students suddenly achieved mastery over #lang?  That
was the problem, right?  I don't see how our new language dialog
solves that.

--Carl