On Fri, Jan 29, 2010 at 2:11 PM, Eli Barzilay <[email protected]> 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 <[email protected]> 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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
