save file

javascript-2020 · javascript-2020 · commit 7d84d6d548d2 · 2025-10-31T23:25:40.000Z
diff --git a/utils/github/search-for-a-file-across-all-github-repos/v2.0/search-for-a-file-across-all-github-repos-v2.0.html b/utils/github/search-for-a-file-across-all-github-repos/v2.0/search-for-a-file-across-all-github-repos-v2.0.html
@@ -54,15 +54,32 @@
         var keydown;
         var github;
 
-
+        var menu;
+        
+        var hdr;
+        var log;
+        
+        
   //:
   
   
-        mod.stack.add   = init;
-        
         async function init(){
         
         
+              menu    = menumod();
+              
+              hdr     = mod['github-hdr'];
+              log     = mod['log-mod'];
+              
+              hdr.initmod({ext,$,menu});
+              log.initmod({ext,$});
+              
+              await Promise.all([
+                    hdr.init(),
+                    log.init(),
+              ]);
+              
+        
               initdom(document.body);
               
               
@@ -191,25 +208,14 @@
 
       
       <body>
+
+
+            <github-hdr component=grp>
+                  <img style='top:0px;height:50px' class=title src='images/github-file-search-2.png'>
+                  <time slot=date datetime=2025-10-31>31 Oct 2025</time>
+            </github-hdr>
     
     
-            <div id=hdr>
-            
-                  <div>
-                        <a href='/'>
-                              home
-                        </a>
-                  </div>
-                  
-                  <div id=title>
-                        <img src='images/github-file-search-2.png'>
-                  </div>
-                  
-                  <div>
-                        26 Sep 25
-                  </div>
-                  
-            </div>
 
 
             <div id=desc>
@@ -316,6 +322,9 @@
                   
             </div>
             
+            
+            <log-mod component></log-mod>
+            
                   
       </body>
 
@@ -349,14 +358,16 @@
         
               var root                          = rootnode;
               
+              hdr.initdom();
+              
               var icon;
               
               ui.token                          = $(root,'#token');
               ui.token.value                    = token;
               icon                              = $(root,'#token-copy');
               $.icon.copy2(icon,ui.token);
               icon                              = $(root,'#token-paste');
-              $.icon.paste(icon,ui.token);
+              $.icon.paste2(icon,ui.token);
               
               username                          = $(root,'#username');
               username.value                    = 'octocat';
@@ -398,6 +409,10 @@
               progress                          = $(root,'#progress');
               progress.remove();
               
+              
+              log.initdom();
+              
+              
         }//initdom
         
         
