Fixes #164: Rewrote all CM view plugins to statefields

2022-12-09 16:12:55 +01:00
parent 453c613ef4
commit c8c4271aeb
16 changed files with 433 additions and 739 deletions
@@ -734,7 +734,6 @@ export class Editor {
    const editorView = this.editorView!;
    if (pageState) {
      // Restore state
-      // console.log("Restoring selection state", pageState);
      editorView.scrollDOM.scrollTop = pageState!.scrollTop;
      editorView.dispatch({
        selection: pageState.selection,