Update document.title to a more descriptive name

Roman Kornev 7 years ago
parent 31c2184d01
commit 18ca0330d8

@ -122,7 +122,7 @@ define([
if(filename){
this._filename = filename;
}
document.title = (dirty?'*':'')+this._filename;
document.title = (dirty?'*':'')+this._filename+' - Jupyter Notebook';
};
SaveWidget.prototype.update_address_bar = function (path) {

@ -141,7 +141,7 @@ define([
SaveWidget.prototype.update_document_title = function () {
var nbname = this.notebook.get_notebook_name();
document.title = nbname;
document.title = nbname + ' - Jupyter Notebook';
};
SaveWidget.prototype.update_address_bar = function(){

Loading…
Cancel
Save