Update GitHub Pages

zml · Feb 18, 2025 · 8a98a16 · 8a98a16
1 parent 1917c22
commit 8a98a16
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -22,3 +22,4 @@ Mon Dec  9 18:51:57 UTC 2024
 Tue Jan 28 10:21:33 UTC 2025
 Tue Feb 18 11:48:34 UTC 2025
 Tue Feb 18 12:49:57 UTC 2025
+Tue Feb 18 13:04:46 UTC 2025
diff --git a/sources.tar b/sources.tar
diff --git a/zml_api.js b/zml_api.js
@@ -65,7 +65,7 @@
       // navigate to this hash.
       viewSourceHash: null,
     };
-    var curNavSearch = "zml";
+    var curNavSearch = "#zml";
     var curSearchIndex = -1;
     var imFeelingLucky = false;
 
@@ -111,6 +111,7 @@
         domSearch.addEventListener('input', onSearchChange, false);
         window.addEventListener('keydown', onWindowKeyDown, false);
         onHashChange(null);
+        navigate("#zml");
       });
     });