Re: [racket-users] suppressing scribble-common.js in Scribble output

2020-07-02 Thread 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+unsubscr...@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.

-- 
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/20200702212417.152%40sirmail.smtp.cs.utah.edu.


[racket-users] suppressing scribble-common.js in Scribble output

2020-07-02 Thread 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

-- 
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/e219a0cd-7646-4bdf-a620-ac0d70f38cceo%40googlegroups.com.