Override Ctrl-S shortcut to save text editor contents

This commit is contained in:
Thomas Kluyver 2014-11-14 15:37:14 -08:00
parent 1b612e178b
commit 88818dcfba

View File

@ -46,6 +46,9 @@ function($,
that.save_enabled = false;
}
);
cm.setOption("extraKeys", {
"Ctrl-S": $.proxy(this.save, this),
});
};
Editor.prototype.save = function() {