##// END OF EJS Templates
Update document title and last_saved_name only after a successful save.
Felix Werner -
Show More
@@ -881,6 +881,7 b' var IPython = (function (IPython) {'
881
881
882 Notebook.prototype.notebook_saved = function (data, status, xhr) {
882 Notebook.prototype.notebook_saved = function (data, status, xhr) {
883 this.dirty = false;
883 this.dirty = false;
884 IPython.save_widget.notebook_saved();
884 setTimeout($.proxy(IPython.save_widget.status_save,IPython.save_widget),500);
885 setTimeout($.proxy(IPython.save_widget.status_save,IPython.save_widget),500);
885 }
886 }
886
887
@@ -49,6 +49,10 b' var IPython = (function (IPython) {'
49
49
50 SaveWidget.prototype.save_notebook = function () {
50 SaveWidget.prototype.save_notebook = function () {
51 IPython.notebook.save_notebook();
51 IPython.notebook.save_notebook();
52 };
53
54
55 SaveWidget.prototype.notebook_saved = function () {
52 this.set_document_title();
56 this.set_document_title();
53 this.last_saved_name = this.get_notebook_name();
57 this.last_saved_name = this.get_notebook_name();
54 };
58 };
General Comments 0
You need to be logged in to leave comments. Login now