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

On Fri, Jan 29, 2010 at 2:11 PM, Eli Barzilay <eli at barzilay.org> wrote:
> * Related, if you're in module, and you pop up the dialog and click
>  the radio button for "choose a language" and then OK, you still end
>  up with the module language.

Fixed now.

On Fri, Jan 29, 2010 at 3:36 PM, Eli Barzilay <eli at barzilay.org> wrote:
> IIUC, then I think that I'd rather go with the "same font size".

Okay, I did that for now. It looks a little too big to my eye (because
it doesn't make the radio boxes stand out), but I'm curious what
others think.

Thanks,
Robby