jon.recoil.org / odoc-docsite
Testing of the @doc-json output
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add odoc-spa-loaded event to docsite shell and scrollycode

- docsite shell: dispatch odoc-spa-loaded after SPA script loading,
matching the jon-shell implementation
- scrollycode: listen for odoc-spa-loaded to reinit after SPA nav

Plugins checked:
- mermaid: uses odoc-spa-loaded ✓
- dot: uses odoc-spa-loaded ✓
- msc: uses odoc-spa-loaded ✓
- scrollycode: uses odoc-spa-loaded ✓ (updated)
- admonition: CSS only, no JS needed ✓
- rfc: CSS only, no JS needed ✓
- interactive (x-ocaml): own universe reinit mechanism ✓

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Jon Ludlam's Agent be51a99c fbb5baeb

+1
+1
src/odoc_docsite_js.ml
··· 352 352 var s = el.cloneNode(true); 353 353 document.head.appendChild(s); 354 354 }); 355 + document.dispatchEvent(new CustomEvent('odoc-spa-loaded')); 355 356 }); 356 357 357 358 CURRENT_URL = url;