On Tuesday, November 3, 2015 at 5:55:58 PM UTC-5, Brian Adkins wrote: > 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
asumu on IRC got me fixed up with find-system-path: (find-system-path 'pref-file) I really love how there is always a great answer to the question, "How do I do <X> in Racket?" -- 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.
