This is my own fault, but maybe Dr Racket could be made a little clearer. I had hit <Cmd>-+ a few times to increase the font size, and I wanted to go back to the default. <Cmd>-0 did not work as expected, then I checked the menus and didn't find anything. Then I pulled up preferences which opens to the Fonts "tab".
I noticed it had a "Revert to Defaults" button. As you likely know, that reverts *all* defaults !! Not what I expected/wanted. Had I clicked through to a few other tabs, I would've seen that the "Revert to Defaults" button was on each tab and would've surmised its global nature. Maybe "Revert All to Defaults" as the button title, or a warning that it will revert every single value in preferences? I take full responsibility, but ouch. Brian -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.