BSD-Yassin
2023-04-27 7b1da7a8456b0404ad4ebcb8afd523a6618439ff
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",