Update text editor document.title

RomanKornev · RomanKornev · commit d3ce20738c92 · 2019-01-30T20:42:46.000+03:00
diff --git a/notebook/static/edit/js/savewidget.js b/notebook/static/edit/js/savewidget.js
@@ -122,7 +122,7 @@ define([
         if(filename){
             this._filename = filename;
         }
-        document.title = (dirty?'*':'')+this._filename+' - Jupyter Notebook';
+        document.title = (dirty ? '*' : '') + this._filename + ' - Jupyter Text Editor';
     };
 
     SaveWidget.prototype.update_address_bar = function (path) {

Original file line number	Diff line number	Diff line change
`@@ -122,7 +122,7 @@ define([`
`122`	`122`	`if(filename){`
`123`	`123`	`this._filename = filename;`
`124`	`124`	`}`
`125`		`- document.title = (dirty?'*':'')+this._filename+' - Jupyter Notebook';`
	`125`	`+ document.title = (dirty ? '*' : '') + this._filename + ' - Jupyter Text Editor';`
`126`	`126`	`};`
`127`	`127`
`128`	`128`	`SaveWidget.prototype.update_address_bar = function (path) {`