No scribble toolbar in DrRacket? #3

New Issue

2019-03-07T22:01:12Z

dented42 commented

2019-03-07 22:01:12 +00:00

(Migrated from github.com)

The scribble/lp2 language adds some render pdf/html buttons to DrRackets toolbar. Unless I've installed hyper-literate incorrectly, it does not do that. This seems not right.

The `scribble/lp2` language adds some render pdf/html buttons to DrRackets toolbar. Unless I've installed `hyper-literate` incorrectly, it does not do that. This seems not right.

SuzanneSoy commented

2019-03-20 11:23:53 +00:00

(Migrated from github.com)

I don't use the scribble toolbar and instead rely on the package's info.rkt file to indicate which scribble files have to be built. That way, the resulting HTML is integrated in the rest of the documentation (hyperlinks to and from the rest of the documentation).

I'll try to see why the toolbar isn't showing when I find a bit of free time, but I'm afraid the integration with DrRacket might require a lot of boilerplate.

I don't use the scribble toolbar and instead rely on the package's `info.rkt` file to indicate which scribble files have to be built. That way, the resulting HTML is integrated in the rest of the documentation (hyperlinks to and from the rest of the documentation). I'll try to see why the toolbar isn't showing when I find a bit of free time, but I'm afraid the integration with DrRacket might require a lot of boilerplate.

dented42 commented

2025-03-17 03:05:07 +00:00

(Migrated from github.com)

It looks like you're wrapping the wrong get-info function in your reader. Give me a second and I'll do a pull request that I think fixes it.

It looks like you're wrapping the wrong `get-info` function in your reader. Give me a second and I'll do a pull request that I think fixes it.

Sign in to join this conversation.