save file

Author: javascript-2020

utils/editors/js-console/js-console.html

@@ -595,6 +595,7 @@
                     editor.filename(file);
                     editor.filename.save.hide();
                     filemod.cur   = file;
+                    document.title    = file.name||file.filename;
               }
               menu.close();
               editor.focus();