save file

Author: javascript-2020

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

@@ -305,7 +305,7 @@ <h4 slot=version>v3.0</h4>
               $('#run').onclick                     = btn.run;
               $(root,'#prettier').onclick           = btn.prettier;
               $(root,'#syntax-chk').onclick         = btn.syntax;
-              $,chkbox(root,'#output-root',btn.output);
+              $.chkbox(root,'#output-root',btn.output);
 
               $('#horiz').onclick                   = horiz;
               $('#vert').onclick                    = vert;