Fix: Correct the navigation to anchor

Author: Dedelweiss

scaladoc/resources/dotty_res/scripts/ux.js

@@ -284,13 +284,13 @@ document
 
         getTocListElement(id).parentElement.classList.toggle("active");
       }
-      if (lastEntry.isIntersecting) {
-        window.location.hash = "";
-        removeAllHighlights();
-        const id = getIdOfElement(lastEntry);
+      // if (lastEntry.isIntersecting) {
+      //   window.location.hash = "";
+      //   removeAllHighlights();
+      //   const id = getIdOfElement(lastEntry);
 
-        getTocListElement(id).parentElement.classList.toggle("active");
-      }
+      //   getTocListElement(id).parentElement.classList.toggle("active");
+      // }
     },
     {
       rootMargin: "-10% 0px -50%",