Fix some nasty bug

2022-03-31 17:25:34 +02:00
parent 859657f8b8
commit 4d201efdbb
10 changed files with 82 additions and 46 deletions
@@ -39,6 +39,9 @@ export default (editor: Editor): SysCallMapping => ({
  navigate: async (ctx, name: string, pos: number) => {
    await editor.navigate(name, pos);
  },
+  reloadPage: async (ctx) => {
+    await editor.reloadPage();
+  },
  openUrl: async (ctx, url: string) => {
    window.open(url, "_blank")!.focus();
  },