Oh, nevermind. That shouldn't have been relevant. I've checked in something that tries to do a better job for your point 1.
Robby On Mon, Feb 1, 2010 at 10:28 AM, Robby Findler <[email protected]> wrote: > On Mon, Feb 1, 2010 at 10:15 AM, Matthias Felleisen > <[email protected]> wrote: >> Complaint 1: the dialogue looks ugly on my desktop machine (build today @ >> 8:30am). Screen shot attached. See the cut-off, unreadable text below the >> first radio button. > > Can you tell me your font preference settings, please? (font name and > point size from the preferences dialog) > > Thanks, > Robby > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
