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 <[email protected]> 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 [email protected]. >> 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/3491d359-17be-4aa9-9828-cd2d75e83d8dn%40googlegroups.com.
