Added "type" argument to flashNotification (to distinguish between error and info)

2022-07-14 13:32:28 +02:00
parent d57a9e79de
commit a8274d225c
6 changed files with 51 additions and 21 deletions
@@ -55,8 +55,12 @@ export function editorSyscalls(editor: Editor): SysCallMapping {
        win.focus();
      }
    },
-    "editor.flashNotification": (ctx, message: string) => {
-      editor.flashNotification(message);
+    "editor.flashNotification": (
+      ctx,
+      message: string,
+      type: "error" | "info" = "info"
+    ) => {
+      editor.flashNotification(message, type);
    },
    "editor.filterBox": (
      ctx,