save file

Author: javascript-2020

utils/misc/nodejs-terminal/html/snippet-nodejs/v1.0/snippet-nodejs-v1.0.html

@@ -322,9 +322,9 @@
                     editor.filename(file);
                     editor.filename.save.hide();
                     filemod.cur   = file;
-                    //var title     = file.name||file.filename;
-                    //set.title(title);
-                    //set.favicon(icon.def);
+                    var title     = file.name||file.filename;
+                    viewport.title(title);
+                    viewport.icon(icon.def);
               }
 
               //menu.close();