I think it’s only enough to fabricate the #%info-* identifiers. For
example, in the file you linked above, you can add:
[#%info-domain (datum->syntax stx '#%info-domain)]
to with-syntax, and provided that you provide #%top-interaction, you should
be able to use #%info-domain in the REPL.
On
I'm writing a variant of
[setup/infotab](https://github.com/racket/racket/blob/master/racket/collects/setup/infotab.rkt)
to allow `#%top-interaction' plus some other bindings of my choice. But when I
create a evaluator in the context of such a module, `#%info-domain' and
`#%info-lookup' are
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
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.
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
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
More specifically, the search is broken. I can navigate to
On Sunday, September 6, 2020 at 4:56:00 PM UTC-4 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,
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
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
9 matches
Mail list logo
