##// END OF EJS Templates
*all* user-initiated saves create a checkpoint
MinRK -
Show More
@@ -130,7 +130,7 b' var IPython = (function (IPython) {'
130 // Save (CTRL+S) or (AppleKey+S)
130 // Save (CTRL+S) or (AppleKey+S)
131 //metaKey = applekey on mac
131 //metaKey = applekey on mac
132 if ((event.ctrlKey || event.metaKey) && event.keyCode==83) {
132 if ((event.ctrlKey || event.metaKey) && event.keyCode==83) {
133 that.save_notebook();
133 that.save_checkpoint();
134 event.preventDefault();
134 event.preventDefault();
135 return false;
135 return false;
136 } else if (event.which === key.ESC) {
136 } else if (event.which === key.ESC) {
General Comments 0
You need to be logged in to leave comments. Login now