[racket-dev] more space in GUI?

I've pushed a change that puts the check boxes between the radio
boxes. See if you think that looks okay.

Robby

On Fri, Aug 27, 2010 at 12:34 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> The language chooser details panel looks like the attachment.  It
> looks like there are five Output Styles and Fraction Style combined,
> rather than two distinct blocks of 3 and 2.  A little spacing might
> make it a bit easier to read.
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>