From 7a8811a184c8bd6206ee041d6486b7e456d5a84a Mon Sep 17 00:00:00 2001
From: Quadrubo <71718414+Quadrubo@users.noreply.github.com>
Date: Wed, 18 Jan 2023 16:25:01 +0000
Subject: [PATCH] added the liveReloadPort as an option for docker (#272)
---
assets/js/util.js | 16 +++++++++++++---
1 files changed, 13 insertions(+), 3 deletions(-)
diff --git a/assets/js/util.js b/assets/js/util.js
index d17594a..dc549be 100644
--- a/assets/js/util.js
+++ b/assets/js/util.js
@@ -40,8 +40,8 @@
.replace(/^\s{0,3}>\s?/g, "")
.replace(/(^|\n)\s{0,3}>\s?/g, "\n\n")
.replace(/^\s{1,2}\[(.*?)\]: (\S+)( ".*?")?\s*$/g, "")
- .replace(/([\*_]{1,3})(\S.*?\S{0,1})\1/g, "$2")
- .replace(/([\*_]{1,3})(\S.*?\S{0,1})\1/g, "$2")
+ .replace(/([\*_]{1,3})(\S.*?\S?)\1/g, "$2")
+ .replace(/([\*_]{1,3})(\S.*?\S?)\1/g, "$2")
.replace(/(`{3,})(.*?)\1/gm, "$2")
.replace(/`(.+?)`/g, "$1")
.replace(/\n{2,}/g, "\n\n")
@@ -65,7 +65,7 @@
.split(" ")
.slice(0, h)
return (
- (before.length == h ? `...${before.join(" ")}` : before.join(" ")) +
+ (before.length === h ? `...${before.join(" ")}` : before.join(" ")) +
`<span class="search-highlight">${term}</span>` +
after.join(" ")
)
@@ -203,6 +203,16 @@
}
)
.join("\n")
+ if (LATEX_ENABLED) {
+ renderMathInElement(results, {
+ delimiters: [
+ { left: '$$', right: '$$', display: false },
+ { left: '$', right: '$', display: false },
+ ],
+ throwOnError: false
+ })
+ }
+
const anchors = [...document.getElementsByClassName("result-card")]
anchors.forEach((anchor) => {
anchor.onclick = () => redir(anchor.id, term)
--
Gitblit v1.10.0