Fix dodgy scrolling in iframe

joerick · Sep 29, 2024 · 974a843 · 974a843
1 parent 7da40e3
commit 974a843
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.../_static/preview/assets/index-mbGRX7NE.js → .../_static/preview/assets/index-DmM09tqM.js b/.../_static/preview/assets/index-mbGRX7NE.js → .../_static/preview/assets/index-DmM09tqM.js
diff --git a/docs/_static/preview/index.html b/docs/_static/preview/index.html
@@ -5,7 +5,7 @@
     <link rel="icon" type="image/svg+xml" href="/vite.svg" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>Pyinstrument Demo</title>
-    <script type="module" crossorigin src="./assets/index-mbGRX7NE.js"></script>
+    <script type="module" crossorigin src="./assets/index-DmM09tqM.js"></script>
     <link rel="stylesheet" crossorigin href="./assets/index-zASnLVqu.css">
   </head>
   <body>

diff --git a/html_renderer/src/components/CallStackView.svelte b/html_renderer/src/components/CallStackView.svelte
@@ -37,7 +37,7 @@
     if (!el) { throw new Error('element not set'); }
     let listener
     el.addEventListener('scroll', listener = () => {
-      scrollInnerElement!.style.minHeight = `${el.scrollTop + el.clientHeight}px`;
+      scrollInnerElement!.style.minHeight = `${Math.floor(el.scrollTop + el.clientHeight)}px`;
     });
     listener();
     return () => {

diff --git a/pyinstrument/renderers/html_resources/app.js b/pyinstrument/renderers/html_resources/app.js