From b0e15e0cbc445e12e3aabfe90ee2fc6bf2c33782 Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Mon, 02 May 2022 16:19:26 +0000
Subject: [PATCH] Merge pull request #118 from aidenybai/add-router
---
assets/js/search.js | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/assets/js/search.js b/assets/js/search.js
index 212b2c7..fcf7917 100644
--- a/assets/js/search.js
+++ b/assets/js/search.js
@@ -145,6 +145,7 @@
};
const redir = (id, term) => {
+ // SPA navigation
window.navigate(
new URL(
`${BASE_URL.slice(0, -1)}${id}#:~:text=${encodeURIComponent(term)}/`
--
Gitblit v1.10.0