From dc4373789617a58d517eac59c3e60fabb47eafd0 Mon Sep 17 00:00:00 2001
From: chaosarium <38693485+chaosarium@users.noreply.github.com>
Date: Sat, 24 Dec 2022 17:10:59 +0000
Subject: [PATCH] fix edge cases link processing (#258)
---
assets/js/util.js | 10 ++++++++++
1 files changed, 10 insertions(+), 0 deletions(-)
diff --git a/assets/js/util.js b/assets/js/util.js
index d17594a..3346b7d 100644
--- a/assets/js/util.js
+++ b/assets/js/util.js
@@ -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