Fix materialized queries and reload

2022-10-10 18:19:08 +02:00
parent 820fc83c8b
commit 61bf715c9f
5 changed files with 31 additions and 22 deletions
@@ -51,7 +51,7 @@ export function editorSyscalls(editor: Editor): SysCallMapping {
    ) => {
      await editor.navigate(name, pos, replaceState);
    },
-    "editor.reloadPage": async (ctx) => {
+    "editor.reloadPage": async () => {
      await editor.reloadPage();
    },
    "editor.openUrl": async (ctx, url: string) => {