fix: graph and tooltip sometimes not showing

Jacky Zhao

2023-04-06 e482fa10970fd6a0c1c0ec836db84ba4187bc8f7

 assets/js/util.js

@@ -117,7 +117,7 @@
const redir = (id, term) => {
  const shouldTrim = PRODUCTION && SEARCH_ENABLED
  const baseURLPrefix = shouldTrim ? "" : BASE_URL.replace(/\/$/g, "")
  const urlString = `${baseURLPrefix}${id}#:~:text=${encodeURIComponent(term)}/`
  const urlString = `${baseURLPrefix}${id}#:~:text=${encodeURIComponent(term)}`
  window.Million.navigate(
    new URL(urlString),
    ".singlePage",