From 399262000ad3771d225401ea653bfc22acbc460e Mon Sep 17 00:00:00 2001
From: Ardis Lu <ardisglu@gmail.com>
Date: Wed, 27 Nov 2024 22:08:39 -0800
Subject: [PATCH] Delete window references

The global window object is already implied in code running within a <script> tag
---
 index.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/index.html b/index.html
index d7af3ba..f1ecd46 100644
--- a/index.html
+++ b/index.html
@@ -194,19 +194,19 @@
       if (!match) {
         // MUST redirect to a page where the web server serves an actual 404 error (i.e. not just 
         // index.html again) otherwise this triggers an infinite loop
-        window.location.href = `${window.location.origin}/errors/NotFound`;
+        location.href = `${location.origin}/errors/NotFound`;
       }
     }
 
     // Update the browser history, then show page
     function route(path) {
       // If the new page is equal to the current page, don't do anything
-      if (window.location.pathname.substring(1) === path) {
+      if (location.pathname.substring(1) === path) {
         return;
       }
 
-      const url = new URL(path, window.location.origin);
-      window.history.pushState({}, '', url);
+      const url = new URL(path, location.origin);
+      history.pushState({}, '', url);
 
       showPage(path);
       // Must reset scroll otherwise a user entering a long page from another long page will enter midway scrolled
@@ -224,10 +224,10 @@
         route(e.target.dataset.route);
       });
     }
-    window.addEventListener('popstate', _ => showPage(window.location.pathname.substring(1)));
+    addEventListener('popstate', _ => showPage(location.pathname.substring(1)));
 
     // Show the current URL (to support direct linking aka deep links)
-    showPage(window.location.pathname.substring(1));
+    showPage(location.pathname.substring(1));
   </script>
 </body>
 
-- 
2.47.3