save file

Author: javascript-2020

utils/editors/html-editor/html-editor.html

@@ -46,7 +46,6 @@
 
 
 
-
             <script>
 /*            
         navigator.serviceWorker.register('/service-worker.js')
@@ -76,7 +75,7 @@
 
             </script>
 
-
+ 
 
 
 
@@ -105,6 +104,9 @@
         var log;
 
 
+
+        
+        
   //:
 
 
@@ -315,7 +317,8 @@ <h1 slot=seo-hdr class=visually-hidden>html editor</h1>
         var on            = {};
         var set           = {};
 
-
+ 
+ 
   //:
 
 
@@ -461,7 +464,11 @@ <h1 slot=seo-hdr class=visually-hidden>html editor</h1>
 
         on.change   = function(){
                                                                                 //console.log('on.change');
-              document.title    = '💾 '+document.title;
+              const SAVE_RE = /^\u{1F4BE}\uFE0F?/u;
+              if (!SAVE_RE.test(document.title)) {
+                document.title = "💾 " + document.title;
+              }
+
 
         }//change