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
