fix: scroll the current search result into view

pinterest · Dec 3, 2024 · 1baf7cb · 1baf7cb
1 parent 7ffd12c
commit 1baf7cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/querybook/webapp/hooks/queryEditor/extensions/useSearchExtension.ts b/querybook/webapp/hooks/queryEditor/extensions/useSearchExtension.ts
@@ -75,6 +75,7 @@ export const useSearchExtension = ({
             if (shouldHighlight) {
                 editorView?.dispatch({
                     selection: EditorSelection.single(item.from, item.to),
+                    effects: EditorView.scrollIntoView(item.from),
                 });
             } else {
                 editorView?.dispatch({