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

On Jan 29, Robby Findler wrote:
> 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.

Looks fine to me -- I think that the indentation is enough of a visual
hint.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!