From e6c7a4e1e2e3b0437b5dbbbeb7abc4e05622db16 Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Mon, 12 Sep 2022 01:03:55 +0000
Subject: [PATCH] fix: latex rendering bugs + patch for #195
---
assets/js/util.js | 32 +++++++++++++++++---------------
1 files changed, 17 insertions(+), 15 deletions(-)
diff --git a/assets/js/util.js b/assets/js/util.js
index c465238..06db3c1 100644
--- a/assets/js/util.js
+++ b/assets/js/util.js
@@ -55,14 +55,13 @@
const highlight = (content, term) => {
const highlightWindow = 20
-
// try to find direct match first
const directMatchIdx = content.indexOf(term)
if (directMatchIdx !== -1) {
- const h = highlightWindow / 2
+ const h = highlightWindow
const before = content.substring(0, directMatchIdx).split(" ").slice(-h)
const after = content
- .substring(directMatchIdx + term.length, content.length - 1)
+ .substring(directMatchIdx + term.length, content.length - 2)
.split(" ")
.slice(0, h)
return (
@@ -108,13 +107,10 @@
}
// Common utilities for search
-const resultToHTML = ({ url, title, content, term }) => {
- const text = removeMarkdown(content)
- const resultTitle = highlight(title, term)
- const resultText = highlight(text, term)
+const resultToHTML = ({ url, title, content }) => {
return `<button class="result-card" id="${url}">
- <h3>${resultTitle}</h3>
- <p>${resultText}</p>
+ <h3>${title}</h3>
+ <p>${content}</p>
</button>`
}
@@ -183,7 +179,7 @@
})
}
-const displayResults = (finalResults) => {
+const displayResults = (finalResults, extractHighlight = false) => {
const results = document.getElementById("results-container")
if (finalResults.length === 0) {
results.innerHTML = `<button class="result-card">
@@ -192,11 +188,17 @@
</button>`
} else {
results.innerHTML = finalResults
- .map((result) =>
- resultToHTML({
- ...result,
- term,
- }),
+ .map((result) => {
+ if (extractHighlight) {
+ return resultToHTML({
+ url: result.url,
+ title: highlight(result.title, term),
+ content: highlight(removeMarkdown(result.content), term)
+ })
+ } else {
+ return resultToHTML(result)
+ }
+ }
)
.join("\n")
const anchors = [...document.getElementsByClassName("result-card")]
--
Gitblit v1.10.0