livebook-dev/livebook
1
1
Fork 0
mirror of https://github.com/livebook-dev/livebook.git synced 2024-09-20 01:55:56 +08:00
Code Issues Packages Projects Releases Wiki Activity

Improve go-to-definition scroll to position the cursor near the viewport top

Browse source
This commit is contained in:
Jonatan Kłosko 2024-09-05 22:13:10 +07:00
parent 2468fa3397
commit 7430843c9b
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
assets/js/hooks/cell.js
View file

@ -365,11 +365,16 @@ const Cell = {
scrollEditorCursorIntoViewIfNeeded() {
const element = this.currentEditor().getElementAtCursor();
// Scroll to the cursor, positioning it near the top of the viewport
element.style.scrollMarginTop = "128px";
scrollIntoView(element, {
scrollMode: "if-needed",
behavior: "instant",
block: "center",
block: "start",
});
element.style.scrollMarginTop = undefined;
},
};