| assets/js/util.js | ●●●●● patch | view | raw | blame | history |
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",