DrRacket docs broken for Safari when opened once from dmg

[gfb]

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.

[Robby Findler]

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.

[gfb]

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.

[gfb]

I can live with this. It happened because I wanted to see what happens with current macOS and DrRacket version, and what it takes to fix it, when launching from dmg. Some non-cs 1st year students launch from dmg each term despite screenshots, warnings, and demonstrating the correct process in lecture. But this term my course is for 3rd year cs students, so (if this isn't idiosyncratic) they're less likely to get into the situation or can install firefox if they haven't already and switch default browser while using drracket.

[Robby Findler]

I thought we had fixed things so that DrRacket would detect (and fix) the problem when restarting. But I can believe that newer version of the OS defeat our attempts to work around the security things that break this. :(

Robby

To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/09f5b0af-64a8-422b-8051-74d6b1418409n%40googlegroups.com.

[gfb]

Solved: in Safari Preferences check the "Show Develop menu in menu bar" option, then select "Empty Caches" in the new "Develop" menu that appears.