save file

Author: javascript-2020

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

@@ -523,21 +523,6 @@ <h1 slot=seo-hdr class=visually-hidden>html editor</h1>
         }//title
 
 
-  //:
-  
-  
-        function debug(...args){
-        
-              if(!df && !obj.df)return;
-              args.unshift(`[ ${did} ]`);
-              var fmt     = Array.from({length:args.length}).fill('%O').join(' ');
-              var args2   = [fmt].concat(args);
-              console.groupCollapsed.apply(console,args2);
-              console.trace();
-              console.groupEnd();
-              
-        }//debug
-        
 
       </script>