##// END OF EJS Templates
Merge pull request #3263 from minrk/nocp...
Brian E. Granger -
r10534:73770ffa merge
parent child Browse files
Show More
@@ -138,6 +138,9 b' var IPython = (function (IPython) {'
138 }
138 }
139
139
140 SaveWidget.prototype.set_last_checkpoint = function (checkpoint) {
140 SaveWidget.prototype.set_last_checkpoint = function (checkpoint) {
141 if (!checkpoint) {
142 this.set_checkpoint_status("");
143 }
141 var d = new Date(checkpoint.last_modified);
144 var d = new Date(checkpoint.last_modified);
142 this.set_checkpoint_status(
145 this.set_checkpoint_status(
143 "Last Checkpoint: " + d.format('mmm dd HH:MM')
146 "Last Checkpoint: " + d.format('mmm dd HH:MM')
General Comments 0
You need to be logged in to leave comments. Login now