Fixed a bunch of bugs around page navigation and renaming

2022-08-01 15:06:32 +02:00
parent 339a8a9402
commit ca796b9c95
7 changed files with 45 additions and 16 deletions
@@ -43,8 +43,13 @@ export function editorSyscalls(editor: Editor): SysCallMapping {
    "editor.save": async () => {
      return editor.save(true);
    },
-    "editor.navigate": async (ctx, name: string, pos: number) => {
-      await editor.navigate(name, pos);
+    "editor.navigate": async (
+      ctx,
+      name: string,
+      pos: number,
+      replaceState = false
+    ) => {
+      await editor.navigate(name, pos, replaceState);
    },
    "editor.reloadPage": async (ctx) => {
      await editor.reloadPage();