jupyter: fix command+enter sending newline

- how was this still broken? anyway, finally fixed!

Author: williamstein

src/packages/frontend/jupyter/codemirror-editor.tsx

@@ -623,7 +623,11 @@ export const CodeMirrorEditor: React.FC<CodeMirrorEditorProps> = ({
       options0.extraKeys["PageDown"] = page_down_key;
       options0.extraKeys["Cmd-/"] = "toggleComment";
       options0.extraKeys["Ctrl-/"] = "toggleComment";
-      options0.extraKeys["Ctrl-Enter"] = () => {}; // ignore control+enter, since there's a shortcut
+      // ignore shift+enter, control+enter, alt+enter and meta+enter since there's a shortcut
+      options0.extraKeys["Shift-Enter"] = () => {};
+      options0.extraKeys["Ctrl-Enter"] = () => {};
+      options0.extraKeys["Alt-Enter"] = () => {};
+      options0.extraKeys["Cmd-Enter"] = () => {};
       /*
       Disabled for now since fold state isn't preserved.
       if (options0.foldGutter) {

src/packages/frontend/jupyter/commands.ts

@@ -764,7 +764,7 @@ export function commands(actions: AllActions): {
     // on a mac). https://github.com/sagemathinc/cocalc/issues/7000
     "run cell": {
       i: "play",
-      m: "Run Selected Cells and Do not Advance",
+      m: "Run Selected Cells and Do Not Advance",
       b: "Stay",
       t: "Run all cells that are currently selected. Do not move the selection.",
       k: [