save file

Author: javascript-2020

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

@@ -483,7 +483,6 @@ <h1 slot=seo-hdr class=visually-hidden>html editor</h1>
         set.title   = function(title){
 
               document.title    = title;
-              set.favicon(icon.def);
 
         }//title
 
@@ -508,6 +507,7 @@ <h1 slot=seo-hdr class=visually-hidden>html editor</h1>
                     filemod.cur   = file;
                     var title   = file.name||file.filename;
                     set.title(title);
+                    set.favicon(icon.def);
               }
 
               menu.close();