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

[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 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.
>
> On Sunday, September 6, 2020 at 6:20:23 PM UTC-4 gfb wrote:
>
>> 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-.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  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
  
 
 .

>>>

-- 
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/3936904e-ecfb-4b2f-bde6-3c0fae8ba291n%40googlegroups.com.

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

[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. 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.
>
> On Sunday, September 6, 2020 at 6:20:23 PM UTC-4 gfb wrote:
>
>> 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-.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  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
 
 .

>>> --
> 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/09f5b0af-64a8-422b-8051-74d6b1418409n%40googlegroups.com
> 
> .
>

-- 
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/CAL3TdOMUwL5S4JPmptvFxF3jF%3DmO6SWSj0DY82Xw4nqhashUrg%40mail.gmail.com.

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

[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.

On Sunday, September 6, 2020 at 6:20:23 PM UTC-4 gfb wrote:

> 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-.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  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
>>>  
>>> 
>>> .
>>>
>>

-- 
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/09f5b0af-64a8-422b-8051-74d6b1418409n%40googlegroups.com.

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

[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-.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  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
>>  
>> 
>> .
>>
>

-- 
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.

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

[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 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
> 
> .
>

-- 
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.