save file

Author: javascript-2020

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

@@ -468,6 +468,8 @@ <h1 slot=seo-hdr class=visually-hidden>html editor</h1>
         on.change   = function(){
                                                                                 //console.log('on.change');
               set.favicon(icon.save);
+              
+              
               /*
               const SAVE_RE = /^\u{1F4BE}\uFE0F?/u;
               if (!SAVE_RE.test(document.title)) {