From 232bd2f016f7d57602fe39703407100f5d26f278 Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Fri, 27 May 2022 18:01:20 +0000
Subject: [PATCH] Merge pull request #134 from aidenybai/add-prefetching-within-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