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/popover.js | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/assets/js/popover.js b/assets/js/popover.js
index 29104b9..554291a 100644
--- a/assets/js/popover.js
+++ b/assets/js/popover.js
@@ -5,14 +5,14 @@
return template.content.firstChild
}
-function initPopover(baseURL, useContextualBacklinks, renderLatex) {
+function initPopover(baseURL, useContextualBacklinks) {
const basePath = baseURL.replace(window.location.origin, "")
fetchData.then(({ content }) => {
const links = [...document.getElementsByClassName("internal-link")]
links
.filter(li => li.dataset.src || (li.dataset.idx && useContextualBacklinks))
.forEach(li => {
- var el
+ let el
if (li.dataset.ctx) {
const linkDest = content[li.dataset.src]
const popoverElement = `<div class="popover">
@@ -42,7 +42,7 @@
if (el) {
li.appendChild(el)
- if (renderLatex) {
+ if (LATEX_ENABLED) {
renderMathInElement(el, {
delimiters: [
{ left: '$$', right: '$$', display: false },
--
Gitblit v1.10.0