Merge pull request #134 from aidenybai/add-prefetching-within-graph

Jacky Zhao

2022-05-27 232bd2f016f7d57602fe39703407100f5d26f278

 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)}/`
      ),