From efb6c7845f0a2743dd07b81f1d03b03d058ede0d Mon Sep 17 00:00:00 2001
From: Aiden Bai <aiden.bai05@gmail.com>
Date: Fri, 27 May 2022 15:40:00 +0000
Subject: [PATCH] Add prefetch to graph
---
assets/js/search.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/assets/js/search.js b/assets/js/search.js
index bb94cd3..ee00647 100644
--- a/assets/js/search.js
+++ b/assets/js/search.js
@@ -153,7 +153,7 @@
const redir = (id, term) => {
// SPA navigation
- window.navigate(
+ window.Million.navigate(
new URL(
`${BASE_URL.replace(/\/$/g, "")}${id}#:~:text=${encodeURIComponent(term)}/`
),
--
Gitblit v1.10.0