Fixes #337

2023-05-08 09:59:29 +02:00
parent 5c7b649705
commit f57f4d1342
2 changed files with 18 additions and 0 deletions
@@ -714,6 +714,17 @@ export class Editor {
              return true;
            },
          },
+          {
+            key: "Ctrl-.",
+            mac: "Cmd-.",
+            run: (): boolean => {
+              this.viewDispatch({
+                type: "show-palette",
+                context: this.getContext(),
+              });
+              return true;
+            },
+          },
        ]),
        EditorView.domEventHandlers({
          // This may result in duplicated touch events on mobile devices