traxys/tree-sitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(playground): scroll with vanilla JS

Browse source 
jQuery must burn in fire.
This commit is contained in:
ObserverOfTime 2025-06-15 11:19:29 +03:00
parent 99c121bfe8
commit 0bb43f7afb
2 changed files with 5 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/cli/src/playground.html
View file

@ -83,9 +83,6 @@
</main>
</div>
<script src="https://code.jquery.com/jquery-3.3.1.min.js" crossorigin="anonymous">
</script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/6.65.7/codemirror.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.19.0/clusterize.min.js"></script>

10
docs/src/assets/js/playground.js
View file

@ -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'
});
}
}
}