From 64524f76e499f3d8eff572548379cc97d95620f6 Mon Sep 17 00:00:00 2001
From: Zane Hannan <zanehannanau@gmail.com>
Date: Fri, 26 Jul 2019 11:48:04 +1000
Subject: [PATCH] update hash change thing

---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 60dbe730..bba22c93 100644
--- a/index.html
+++ b/index.html
@@ -110,12 +110,12 @@
 	<script src="assets/bootstrap-toc.min.js"></script>
 	<!-- convenence script -->
 	<script>
-		addEventListener("hashchange", e => {
+		addEventListener("hashchange", () => {
 			var q = document.querySelector(location.hash)
-			if (q instanceof HTMLHeadingElement && q.parentElement.parentElement instanceof HTMLDetailsElement) {
+			if (q instanceof HTMLHeadingElement && q.parentElement.parentElement instanceof HTMLDetailsElement)
 				q.parentElement.parentElement.open = true;
-			}
 		})
+		if (location.hash) requestAnimationFrame(() => dispatchEvent(new HashChangeEvent("hashchange")));
 		if ('IntersectionObserver' in self) {
 			const mo = new IntersectionObserver(i => {
 				for (const s of i) {