diff --git a/IPython/html/static/texteditor/js/editor.js b/IPython/html/static/texteditor/js/editor.js index a373a41b8..2efc6f084 100644 --- a/IPython/html/static/texteditor/js/editor.js +++ b/IPython/html/static/texteditor/js/editor.js @@ -46,6 +46,9 @@ function($, that.save_enabled = false; } ); + cm.setOption("extraKeys", { + "Ctrl-S": $.proxy(this.save, this), + }); }; Editor.prototype.save = function() {