save file

Author: javascript-2020

html-components/list/dir-tree/dir-tree.html

@@ -270,8 +270,9 @@ <h3>
               var url     = base+component+'/examples/'+file;
               var {txt}   = await get(url);
               if(!txt)return;
-              console.log(1);
+              
               snippet.editor.setvalue(txt);
+              snippet.clear();
 
         }//example