save file

Author: javascript-2020

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

@@ -121,6 +121,7 @@
               publish                   = mod['publish-ui'];
               editor                    = mod['web-editor'];
               output                    = mod['output-html'];
+              output.df=true;
 
               editor.initmod({mode:'html',on});
               autosave.initmod({save:btn.save});