Merge branch 'main' into legend

Author: kilianc

assets/index.js

@@ -27,12 +27,13 @@ function main() {
     return
   }
 
-  // layout
+  // setup the layout
   configureLegend()
   configureFileSelect()
   addIncrementalButton()
   addThemeButton()
 
+  // setup the content
   configureCodeBlocks()
   configureSyntaxHighlight('pre .code .editor')
   addCoverageSpans('pre .coverage .editor')
@@ -127,16 +128,11 @@ function configureFileSelect() {
     }
 
     document.location.hash = e.target.value
-    document.querySelectorAll('.file').forEach((el) => (el.style.display = 'none'))
-    el.style.display = 'block'
 
-    let scrollUp = (times) => {
-      if (window.scrollY === 0 && times > 3) return
-      window.scrollTo(0, 0)
-      window.requestAnimationFrame(() => scrollUp(times + 1))
-    }
+    document.body.scrollTop = 0;
 
-    scrollUp(1)
+    document.querySelectorAll('.file').forEach((el) => (el.style.display = 'none'))
+    el.style.display = 'block'
   })
 
   files.value = selected