+1 On windows it is the same. It would be nice to have the option to revert defaults for the current tab only. Jos
_____ From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of JCG Sent: viernes, 12 de enero de 2018 01:38 To: Racket Users Subject: [racket-users] Re: Alternatives to DrRacket snip 6) In the preferences dialog (on a Mac at least), the "Revert All Preferences to Defaults" is unclear about whether the defaults are for the displayed tab or for all preferences. At least twice in the past, I've incorrectly assumed that the defaults were for the topic displayed and not all preferences. I fiddled with the background expansion and finally decided "Oh, I'll just put it back to whatever is suggested - bam, all my other settings were gone." snip -- 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.
