On windows it is the same.
It would be nice to have the option to revert defaults for the current tab only.
From: email@example.com [mailto:firstname.lastname@example.org] On
Behalf Of JCG
Sent: viernes, 12 de enero de 2018 01:38
To: Racket Users
Subject: [racket-users] Re: Alternatives to DrRacket
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."
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
For more options, visit https://groups.google.com/d/optout.