Git plug tweaks

2022-03-28 08:51:24 +02:00
parent 6dd56e85de
commit 16fa05d4cc
9 changed files with 68 additions and 25 deletions
@@ -42,6 +42,9 @@ export default (editor: Editor): SysCallMapping => ({
  openUrl: async (ctx, url: string) => {
    window.open(url, "_blank")!.focus();
  },
+  flashNotification: (ctx, message: string) => {
+    editor.flashNotification(message);
+  },
  insertAtPos: (ctx, text: string, pos: number) => {
    editor.editorView!.dispatch({
      changes: {