save file

Author: javascript-2020

utils/editors/editor/editor.html

@@ -348,6 +348,7 @@ <h1 slot=seo-hdr class=visually-hidden>editor</h1>
                     editor.filename(file);
                     editor.filename.save.hide();
                     filemod.cur   = file;
+                    document.title    = file.name||file.filename;
               }
 
               menu.close();