update last_modified on rename

some storage backends may update the last_modified date on rename
This commit is contained in:
Min RK 2015-03-23 16:07:36 -07:00
parent 4b0553ae45
commit 8454ae087b

View File

@ -2084,6 +2084,7 @@ define(function (require) {
function (json) {
that.notebook_name = json.name;
that.notebook_path = json.path;
that.last_modified = new Date(json.last_modified);
that.session.rename_notebook(json.path);
that.events.trigger('notebook_renamed.Notebook', json);
}