save file

Author: javascript-2020

utils/editors/html-editor/v2.0/html-editor-v2.0.html

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