I recall this as a bug that we fixed. Are you seeing this problem with the latest version?
I cannot recall the details anymore, but it might work to run "raco setup" from the command line (with the raco that's not on the dmg). Robby On Sun, Sep 6, 2020 at 3:56 PM gfb <g...@cs.toronto.edu> wrote: > > Is there way to reset the documentation state after DrRacket was opened > from dmg once. The f1 search with Safari as default browser on macOS > Catalina doesn't work, even after removing ~/Libary/Racket and > ~/Library/org.racket-lang.prefs.rktd and ~/Libary/PLT-*, ejecting the > dmg, and re-launching from /Applications/Racket 7.8. > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/35986d31-1838-4adb-a70c-7740cf6fc52fn%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/35986d31-1838-4adb-a70c-7740cf6fc52fn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAL3TdOPSKqeOri7C75WvvvXni9hBOm5afVARTPg4BZ3soQw%2B_Q%40mail.gmail.com.