On Tuesday, November 3, 2015 at 5:46:23 PM UTC-5, Brian Adkins wrote: > 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
I have time machine running on Mac OSX, so I should be able to restore a file to the previous version. Where does Dr Racket store preferences on OSX ? I'm running 6.2.1. Thanks, 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.
