Editor refactor: extract state

2023-07-14 13:58:16 +02:00
parent b39a9b8e22
commit c5849f881b
5 changed files with 502 additions and 487 deletions
@@ -29,7 +29,7 @@ export function spaceSyscalls(editor: Editor): SysCallMapping {
        await editor.navigate("");
      }
      // Remove page from open pages in editor
-      editor.openPages.delete(name);
+      editor.openPages.openPages.delete(name);
      console.log("Deleting page");
      await editor.space.deletePage(name);
    },