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