*all* user-initiated saves create a checkpoint

minrk · minrk · commit 65bc9e8cc232 · 2013-05-01T17:32:44.000-07:00
diff --git a/IPython/frontend/html/notebook/static/js/notebook.js b/IPython/frontend/html/notebook/static/js/notebook.js
@@ -130,7 +130,7 @@ var IPython = (function (IPython) {
             // Save (CTRL+S) or (AppleKey+S)
             //metaKey = applekey on mac
             if ((event.ctrlKey || event.metaKey) && event.keyCode==83) {
-                that.save_notebook();
+                that.save_checkpoint();
                 event.preventDefault();
                 return false;
             } else if (event.which === key.ESC) {
