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/popover.js | 55 ++++++++++++++++++++++++++++++++++++-------------------
1 files changed, 36 insertions(+), 19 deletions(-)
diff --git a/assets/js/popover.js b/assets/js/popover.js
index 5fb2244..3d7a30c 100644
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@@ -23,35 +23,52 @@
el = htmlToElement(popoverElement)
} else {
const linkDest = content[li.dataset.src.replace(/\/$/g, "").replace(basePath, "")]
- console.log(linkDest.content)
if (linkDest) {
+ let splitLink = li.href.split("#")
+ let cleanedContent = removeMarkdown(linkDest.content)
+ if (splitLink.length > 1) {
+ let headingName = splitLink[1].replace(/\-/g, " ")
+ let headingIndex = cleanedContent.toLowerCase().indexOf("<b>" + headingName + "</b>")
+ cleanedContent = cleanedContent.substring(headingIndex, cleanedContent.length)
+ }
const popoverElement = `<div class="popover">
<h3>${linkDest.title}</h3>
- <p>${removeMarkdown(linkDest.content).split(" ", 20).join(" ")}...</p>
+ <p>${cleanedContent.split(" ", 20).join(" ")}...</p>
<p class="meta">${new Date(linkDest.lastmodified).toLocaleDateString()}</p>
</div>`
el = htmlToElement(popoverElement)
}
}
- li.appendChild(el)
- if (renderLatex) {
- renderMathInElement(el, {
- delimiters: [
- { left: '$$', right: '$$', display: false },
- { left: '$', right: '$', display: false },
- { left: '\\(', right: '\\)', display: false },
- { left: '\\[', right: '\\]', display: false }
- ],
- throwOnError: false
+
+ if (el) {
+ li.appendChild(el)
+ if (renderLatex) {
+ renderMathInElement(el, {
+ delimiters: [
+ { left: '$$', right: '$$', display: false },
+ { left: '$', right: '$', display: false },
+ ],
+ throwOnError: false
+ })
+ }
+
+ li.addEventListener("mouseover", () => {
+ // fix tooltip positioning
+ window.FloatingUIDOM.computePosition(li, el, {
+ middleware: [window.FloatingUIDOM.offset(10), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
+ }).then(({ x, y }) => {
+ Object.assign(el.style, {
+ left: `${x}px`,
+ top: `${y}px`,
+ })
+ })
+
+ el.classList.add("visible")
+ })
+ li.addEventListener("mouseout", () => {
+ el.classList.remove("visible")
})
}
- li.addEventListener("mouseover", () => {
- el.classList.add("visible")
- })
- li.addEventListener("mouseout", () => {
- el.classList.remove("visible")
- })
-
})
})
}
--
Gitblit v1.10.0