Debug: Reload UI command

2023-07-26 11:22:10 +02:00
parent cf80b94b19
commit 5481e49393
4 changed files with 16 additions and 0 deletions
@@ -42,6 +42,9 @@ export function editorSyscalls(editor: Client): SysCallMapping {
    "editor.reloadPage": async () => {
      await editor.reloadPage();
    },
+    "editor.reloadUI": () => {
+      location.reload();
+    },
    "editor.openUrl": (_ctx, url: string, existingWindow = false) => {
      if (!existingWindow) {
        const win = window.open(url, "_blank");