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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/e219a0cd-7646-4bdf-a620-ac0d70f38cceo%40googlegroups.com.
