save file

Author: javascript-2020

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

@@ -104,6 +104,7 @@
         var filemod;
         var autosave;
         var publish;
+        var explorer;
         var editor;
         var output;
         var log;
@@ -116,6 +117,7 @@
               filemod                   = mod['file-mod'];
               autosave                  = mod['auto-save'];
               publish                   = mod['publish-ui'];
+              explorer                  = mod['code-explorer'];
               editor                    = mod['web-editor'];
               output                    = mod['output-html'];
               output.df                 = true;
@@ -349,6 +351,10 @@ <h4 slot=version>v3.0</h4>
               }
 
               if(e.key==' ' && e.ctrlKey){
+                    explorer.update();
+              }
+              
+              if(e.key=='m' && e.ctrlKey){
                     e.preventDefault();
                     menu.open();
               }