2b40a32d47
* Add first try at scrollspy (broken right now) * Scrollspy actually works now * Fix VS Code errors by setting JS version * Recompute offsets when window size changes * Improve list compatibility for toc active selection Support up to 6 levels of indentation, properly support <ol> * Remove debug string * Add more docs in smoothAnchors * Use a map to match ids to navigation elements
34 lines
No EOL
1.6 KiB
TypeScript
34 lines
No EOL
1.6 KiB
TypeScript
// Implements smooth scrolling when clicking on an anchor link.
|
|
// This is required instead of using modern CSS because Chromium does not currently support scrolling
|
|
// one element with scrollTo while another element is scrolled because of a click on a link. This would
|
|
// thus not work with the ToC scrollspy and e.g. footnotes.
|
|
|
|
// Here are additional links about this issue:
|
|
// - https://stackoverflow.com/questions/49318497/google-chrome-simultaneously-smooth-scrollintoview-with-more-elements-doesn
|
|
// - https://stackoverflow.com/questions/57214373/scrollintoview-using-smooth-function-on-multiple-elements-in-chrome
|
|
// - https://bugs.chromium.org/p/chromium/issues/detail?id=833617
|
|
// - https://bugs.chromium.org/p/chromium/issues/detail?id=1043933
|
|
// - https://bugs.chromium.org/p/chromium/issues/detail?id=1121151
|
|
|
|
const anchorLinksQuery = "a[href]";
|
|
|
|
function setupSmoothAnchors() {
|
|
document.querySelectorAll(anchorLinksQuery).forEach(aElement => {
|
|
let href = aElement.getAttribute("href");
|
|
if (!href.startsWith("#")) {
|
|
return;
|
|
}
|
|
aElement.addEventListener("click", clickEvent => {
|
|
clickEvent.preventDefault();
|
|
|
|
let targetId = aElement.getAttribute("href").substring(1);
|
|
// The replace done on ':' is here for footnotes, as this character would otherwise interfere when used as a CSS selector.
|
|
let target = document.querySelector(`#${targetId.replace(":", "\\:")}`) as HTMLElement;
|
|
|
|
window.history.pushState({}, "", aElement.getAttribute("href"));
|
|
scrollTo({ top: target.offsetTop, behavior: "smooth" });
|
|
});
|
|
});
|
|
}
|
|
|
|
export { setupSmoothAnchors }; |