Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread 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. On Sunday, September 6, 2020 at 6:32:55 PM UTC-4 gfb wrote: > I can live with this. It happened because I wanted to see what happens > with current

Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread 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 On Sun, Sep 6, 2020 at 5:32 PM gfb wrote: > I can live with this.

Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread 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

Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread 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

Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread 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 wrote: > > Is there way