diff --git a/IPython/html/static/notebook/js/savewidget.js b/IPython/html/static/notebook/js/savewidget.js index 0a7cff1..3cfefe1 100644 --- a/IPython/html/static/notebook/js/savewidget.js +++ b/IPython/html/static/notebook/js/savewidget.js @@ -144,11 +144,11 @@ define([ }; SaveWidget.prototype._set_checkpoint_status = function (human_date, iso_date) { - var el = this.element.find('span#checkpoint_status') + var el = this.element.find('span#checkpoint_status'); if(human_date){ el.text("Last Checkpoint: "+human_date).attr('title',iso_date); } else { - el.text('').attr('title','no-checkpoint') + el.text('').attr('title', 'no-checkpoint'); } }; @@ -185,13 +185,11 @@ define([ } else { return h; } - - - } + }; SaveWidget.prototype._regularly_update_checkpoint_date = function(){ if (!this._checkpoint_date) { - this.set_checkpoint_status(null); + this._set_checkpoint_status(null); console.log('no checkpoint done'); return; } @@ -202,7 +200,10 @@ define([ var recall = function(t){ // recall slightly later (1s) as long timeout in js might be imprecise, // and you want to be call **after** the change of formatting should happend. - return setTimeout($.proxy(that._regularly_update_checkpoint_date, that),(t+1000)) + return setTimeout( + $.proxy(that._regularly_update_checkpoint_date, that), + t + 1000 + ); } var tdelta = Math.ceil(new Date()-this._checkpoint_date); @@ -210,18 +211,21 @@ define([ // ago if(tdelta < tdelta < 6*3600*1000){ recall(_next_timeago_update(tdelta)); - this._set_checkpoint_status( chkd.fromNow(), longdate); + this._set_checkpoint_status(chkd.fromNow(), longdate); // otherwise update every hour and show // at hh,mm,ss } else { - recall(1*3600*1000) - this._set_checkpoint_status( chkd.calendar(), longdate); + recall(1*3600*1000); + this._set_checkpoint_status(chkd.calendar(), longdate); } - - } + }; SaveWidget.prototype._set_last_checkpoint = function (checkpoint) { - this._checkpoint_date = new Date(checkpoint.last_modified); + if (checkpoint) { + this._checkpoint_date = new Date(checkpoint.last_modified); + } else { + this._checkpoint_date = null; + } this._regularly_update_checkpoint_date(); };