Make index page configurable

2022-08-02 12:43:39 +02:00
parent b29b175b40
commit 7111fb6b1e
10 changed files with 81 additions and 25 deletions
@@ -23,7 +23,7 @@ export function spaceSyscalls(editor: Editor): SysCallMapping {
    "space.deletePage": async (ctx, name: string) => {
      // If we're deleting the current page, navigate to the index page
      if (editor.currentPage === name) {
-        await editor.navigate("index");
+        await editor.navigate("");
      }
      // Remove page from open pages in editor
      editor.openPages.delete(name);