Use ctrl-enter also on mac

2026-07-13 06:19:33 -04:00 · 2026-02-05 16:30:25 +01:00
parent 9f2237e11d
commit b2cfd3dc3d
1 changed files with 6 additions and 1 deletions
@@ -504,12 +504,17 @@ export class PrebakeCodeMirror {
        Prec.highest(
          keymap.of([
            {
-              key: 'Ctrl-Enter',
              mac: 'Meta-Enter',
              run: () => {
                this.savePrebake();
              },
            },
+            {
+              key: 'Ctrl-Enter',
+              run: () => {
+                this.savePrebake();
+              },
+            },
            {
              key: 'Alt-Enter',
              run: () => {