save file

Author: javascript-2020

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

@@ -224,6 +224,7 @@ <h4 slot=version>v3.0</h4>
                   <publish-ui component></publish-ui>
 
                   <button id=run>run</button>
+                  
                   <img id=prettier class=icon title=prettier>
 
                   <span class=spc></span>
@@ -272,11 +273,11 @@ <h4 slot=version>v3.0</h4>
 
               menu.add.style();
 
-              var btn     = document.createElement('input');
-              btn.type    = 'button';
-              btn.value   = 'isolate';
-              $(hdr.__host.shadowRoot,'#btns').append(btn);
-              btn.onclick                           = btn.isolate;
+              var btn1    = document.createElement('input');
+              btn1.type    = 'button';
+              btn1.value   = 'isolate';
+              $(hdr.__host.shadowRoot,'#btns').append(btn1);
+              btn1.onclick                          = btn1.isolate;
 
 
               $(root,'#save').onclick               = btn.save;