##// END OF EJS Templates
Fixing Ctrl-Enter on Firefox.
Brian E. Granger -
Show More
@@ -51,7 +51,7 b' var IPython = (function (IPython) {'
51 // This method gets called in CodeMirror's onKeyDown/onKeyPress handlers and
51 // This method gets called in CodeMirror's onKeyDown/onKeyPress handlers and
52 // is used to provide custom key handling. Its return value is used to determine
52 // is used to provide custom key handling. Its return value is used to determine
53 // if CodeMirror should ignore the event: true = ignore, false = don't ignore.
53 // if CodeMirror should ignore the event: true = ignore, false = don't ignore.
54 if (event.keyCode === 13 && event.shiftKey) {
54 if (event.keyCode === 13 && (event.shiftKey || event.ctrlKey)) {
55 // Always ignore shift-enter in CodeMirror as we handle it.
55 // Always ignore shift-enter in CodeMirror as we handle it.
56 return true;
56 return true;
57 } else if (event.keyCode === 9 && event.type == 'keydown') {
57 } else if (event.keyCode === 9 && event.type == 'keydown') {
General Comments 0
You need to be logged in to leave comments. Login now