From 44159c63d18ea6f00a6632f7d0441c53671fb46a Mon Sep 17 00:00:00 2001
From: Quinten Kock <quinten@quinten.space>
Date: Sat, 9 May 2026 12:57:10 +0200
Subject: [PATCH] Fix scrolling of jumpToOrigin

---
 src/app/lsp/definition.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/app/lsp/definition.ts b/src/app/lsp/definition.ts
index cdbf687..2e51044 100644
--- a/src/app/lsp/definition.ts
+++ b/src/app/lsp/definition.ts
@@ -50,7 +50,7 @@ function jumpToOrigin(view: EditorView, type: { get: typeof getDefinition, capab
             : plugin.fromPosition(loc.range.start, target.view.state.doc);
         target.view.dispatch({
             selection: {anchor: pos},
-            scrollIntoView: true,
+            effects: EditorView.scrollIntoView(pos, {y: "start"}),
             userEvent: "select.definition",
         });
         setTimeout(() => target.focus(), 0);