mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-02-11 12:30:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

Better way of saving through CodeMirror

Browse Source 
This should support whatever keyboard shortcuts are configured for the
'save' command.
This commit is contained in:
Thomas Kluyver 2014-11-18 15:08:06 -08:00
parent 8dced9ab73
commit d567331d4d
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
IPython/html/static/texteditor/js/editor.js
View File

@ -21,6 +21,11 @@ function($,
this.codemirror = CodeMirror($(this.selector)[0]);
// It appears we have to set commands on the CodeMirror class, not the
// instance. I'd like to be wrong, but since there should only be one CM
// instance on the page, this is good enough for now.
CodeMirror.commands.save = $.proxy(this.save, this);
this.save_enabled = false;
};
@ -46,9 +51,6 @@ function($,
that.save_enabled = false;
}
);
cm.setOption("extraKeys", {
"Ctrl-S": $.proxy(this.save, this),
});
};
Editor.prototype.save = function() {