From f44a7ad87fde8061f38e50e079214f63505ad1e5 Mon Sep 17 00:00:00 2001 From: atteggiani Date: Mon, 10 Jul 2023 16:50:10 +1000 Subject: [PATCH] Fixes links --- docs/js/miscellaneous.js | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/docs/js/miscellaneous.js b/docs/js/miscellaneous.js index 82ce716d4..5e4440b73 100644 --- a/docs/js/miscellaneous.js +++ b/docs/js/miscellaneous.js @@ -28,28 +28,12 @@ function adjustScrollingToId() { const clickEvent = e => { e.preventDefault(); - console.log('ciao'); + window.scrollTo(0, document.querySelector(e.target.hash).offsetTop - header.offsetHeight); } links.forEach(link => { link.addEventListener('click', clickEvent) }) - - // function adjustClick() { - // const clickEvent = (e) => { - // e.preventDefault(); - // window.scrollTo(0, document.querySelector(e.target.hash).offsetTop - header.offsetHeight); - // } - // links.forEach(link => { - // link.removeEventListener('click', clickEvent); - // link.addEventListener('click', clickEvent); - // }) - // } - - // let observer = new ResizeObserver(entries => adjustClick()); - - // adjustClick(); - // observer.observe(header); } // Join all functions