From 0bb43f7afb5f0d83579007037a13d1fede636dbd Mon Sep 17 00:00:00 2001 From: ObserverOfTime Date: Sun, 15 Jun 2025 11:19:29 +0300 Subject: [PATCH] fix(playground): scroll with vanilla JS jQuery must burn in fire. --- crates/cli/src/playground.html | 3 --- docs/src/assets/js/playground.js | 10 +++++----- 2 files changed, 5 insertions(+), 8 deletions(-) diff --git a/crates/cli/src/playground.html b/crates/cli/src/playground.html index e4d02ed5..daa1ade9 100644 --- a/crates/cli/src/playground.html +++ b/crates/cli/src/playground.html @@ -83,9 +83,6 @@ - - diff --git a/docs/src/assets/js/playground.js b/docs/src/assets/js/playground.js index 73675f72..cebd7b52 100644 --- a/docs/src/assets/js/playground.js +++ b/docs/src/assets/js/playground.js @@ -487,12 +487,12 @@ window.initializePlayground = async (opts) => { const containerHeight = outputContainerScroll.clientHeight; const offset = treeRowHighlightedIndex * lineHeight; if (scrollTop > offset - 20) { - $(outputContainerScroll).animate({ scrollTop: offset - 20 }, 150); + outputContainerScroll.scrollTo({ top: offset - 20, behavior: 'smooth' }); } else if (scrollTop < offset + lineHeight + 40 - containerHeight) { - $(outputContainerScroll).animate( - { scrollTop: offset - containerHeight + 40 }, - 150, - ); + outputContainerScroll.scrollTo({ + top: offset - containerHeight + 40, + behavior: 'smooth' + }); } } }