Fix: Correct the navigation to anchor

Dedelweiss · Dedelweiss · commit bb16919b0a22 · 2023-06-06T13:22:46.000+02:00
diff --git a/scaladoc/resources/dotty_res/scripts/ux.js b/scaladoc/resources/dotty_res/scripts/ux.js
@@ -285,7 +285,7 @@ document
         getTocListElement(id).parentElement.classList.toggle("active");
       }
       if (lastEntry.isIntersecting) {
-        window.location.hash = "";
+        history.replaceState(null, "", window.location.pathname + window.location.search);
         removeAllHighlights();
         const id = getIdOfElement(lastEntry);
 

Original file line number	Diff line number	Diff line change
`@@ -285,7 +285,7 @@ document`
`285`	`285`	`getTocListElement(id).parentElement.classList.toggle("active");`
`286`	`286`	`}`
`287`	`287`	`if (lastEntry.isIntersecting) {`
`288`		`- window.location.hash = "";`
	`288`	`+ history.replaceState(null, "", window.location.pathname + window.location.search);`
`289`	`289`	`removeAllHighlights();`
`290`	`290`	`const id = getIdOfElement(lastEntry);`
`291`	`291`