I tried raco setup first, clearing Safari history and data, toggling javascript, restarting the computer, switching default browser, fresh installs including downloading from a different site to trigger the os asking for permission again. Those all result in the following (which is why I tried some of those things).
The doc search within DrRacket goes to "file://private/var/folders/.../plt-sendurl-contents-file-<a-long-number>.html", and that page simply says "Please go here" where "here" is a link to "file:///Users/gfb/Library/Racket/7.8/doc/search/index.html" which doesn't work from that link. But copy-pasting the link goes to the search page but without the style sheet applied. The general "Help Desk" documentation is fine, but then clicking on "Search Manuals" goes to a non-functional version of the search page. Everything works in Firefox though, which is why I was thinking some Safari caching or being picky about running some of the javascript for security reasons. On Sunday, September 6, 2020 at 6:02:19 PM UTC-4 Robby Findler wrote: > 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...@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/3491d359-17be-4aa9-9828-cd2d75e83d8dn%40googlegroups.com.
