Fixing Ctrl-Enter on Firefox.

IPython/frontend/html/notebook/static/js/codecell.js

@@ -51,7 +51,7 @@ var IPython = (function (IPython) {
         // This method gets called in CodeMirror's onKeyDown/onKeyPress handlers and
         // is used to provide custom key handling. Its return value is used to determine
         // if CodeMirror should ignore the event: true = ignore, false = don't ignore.
-        if (event.keyCode === 13 && event.shiftKey) {
+        if (event.keyCode === 13 && (event.shiftKey || event.ctrlKey)) {
             // Always ignore shift-enter in CodeMirror as we handle it.
             return true;
         } else if (event.keyCode === 9 && event.type == 'keydown') {