suppressing scribble-common.js in Scribble output

[Shriram Krishnamurthi]

How does one suppress scribble-common.js? I really don't understand why the file loads for all Scribble langs — it contains things like search box support for documentation! 

In addition, it takes over the window.onload, overriding any previous content. About this, it has the following odd remark:

// Note: could make a function that inspects and uses window.onload to chain to

// a previous one, but this file needs to be required first anyway, since it

// contains utilities for all other files.

I'm not sure what "all other files" it's referring to, but it actually appears last in the load sequence. (E.g., loading additional JS through a custom prefix means those get loaded before scribble-common.js…is there some other way of loading JS files so they are loaded after scribble-common.js?)

Shriram

[Matthew Flatt]

I don't know if there's a way to suppress "scribble-common.js" except
at the level of the rendering object --- that is, not something that
can be done within the document, currently. Also, the initialization
arguments that would replace "scribble-common.js" are probably not
documented. There's a lot of room for improvement there.

But you can add more JS after the built-in pieces: A
`js-style-addition` as a style property specifies JS to load after
other things.

At Thu, 2 Jul 2020 20:09:53 -0700 (PDT), Shriram Krishnamurthi wrote:
> How does one suppress scribble-common.js? I really don't understand why the
> file loads for all Scribble langs — it contains things like search box
> support for documentation!
>
> In addition, it takes over the window.onload, overriding any previous
> content. About this, it has the following odd remark:
>
> // Note: could make a function that inspects and uses window.onload to
> chain to
> // a previous one, but this file needs to be required first anyway, since it
> // contains utilities for all other files.
>
> I'm not sure what "all other files" it's referring to, but it actually

> appears *last* in the load sequence. (E.g., loading additional JS through a

> custom prefix means those get loaded before scribble-common.js…is there

> some other way of loading JS files so they are loaded *after*
> scribble-common.js?)
>
> Shriram
>
> --
> 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/e219a0cd-7646-4bdf-a620-ac0d70f3
> 8cceo%40googlegroups.com.