Another attempt at fixing the no-scroll between pages bug

2022-09-06 11:03:37 +02:00
parent 783a3ad16a
commit f393bedb02
1 changed files with 4 additions and 0 deletions
@@ -670,6 +670,10 @@ export class Editor {
      });
    } else {
      editorView.scrollDOM.scrollTop = 0;
+      editorView.dispatch({
+        selection: { anchor: 0 },
+        scrollIntoView: true,
+      });
    }
    editorView.focus();
  }