fix: graph and tooltip sometimes not showing

Jacky Zhao

2023-04-06 e482fa10970fd6a0c1c0ec836db84ba4187bc8f7

 assets/js/util.js

@@ -117,12 +117,17 @@
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",
  )
  closeSearch()
  plausible("Search", {
    props: {
      term
    }
  })
}

function openSearch() {