move viewport top to cursor on page navigate (#463)

2023-07-11 17:58:29 +02:00
parent b39ba3585a
commit a9a5242159
1 changed files with 1 additions and 1 deletions
@@ -448,7 +448,7 @@ export class Editor {
        }
        this.editorView.dispatch({
          selection: { anchor: pos },
-          scrollIntoView: true,
+          effects: EditorView.scrollIntoView(pos, { y: "start" }),
        });
      } else if (!stateRestored) {
        // Somewhat ad-hoc way to determine if the document contains frontmatter and if so, putting the cursor _after it_.