save file

Author: javascript-2020

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

@@ -142,7 +142,7 @@
 
 
             <html-components-hdr v2.0 component=grp1>
-                  <h2 class=title style='top:10px'>dir-tree</h2>
+                  <h2 class=title style='top:20px'>dir-tree</h2>
                   <time slot=date datetime=2026-01-08>08 Jan 2026</time>
             </html-components-hdr>
 
@@ -254,6 +254,7 @@ <h3>
               var {txt}   = await get(url);
               if(!txt)return;
               editor.setvalue(txt);
+              editor.filename(file);
 
         }//source
 
@@ -269,6 +270,7 @@ <h3>
               if(!txt)return;
 
               snippet.editor.setvalue(txt);
+              snippet.editor.filename(file);
               snippet.clear();
 
         }//example