Tweaking

2022-05-13 17:05:52 +02:00
parent 3c5048ac25
commit 7d01f77318
12 changed files with 70 additions and 55 deletions
@@ -603,7 +603,7 @@ export class Editor {
              editor!.focus();
              if (cmd) {
                cmd.run().catch((e) => {
-                  console.error("Error running command", e);
+                  console.error("Error running command", e.message);
                });
              }
            }}