On Mon, Jun 4, 2012 at 8:31 PM, Eli Barzilay <[email protected]> wrote: > 6 hours ago, Greg Hendershott wrote: >> > This would be easy to play with: click the [!] and you get a >> > dialog with preferences. >> >> Ah, I'd never noticed the [!]. > > Random thought: now that a gear icon is conventional for settings, > would it help if it changes to "[*]"?
I couldn't resist replying here: why not an actual gear icon? Robby ____________________ Racket Users list: http://lists.racket-lang.org/users
