summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--public/js/extra.js4
1 files changed, 2 insertions, 2 deletions
diff --git a/public/js/extra.js b/public/js/extra.js
index 6febd880..bf388139 100644
--- a/public/js/extra.js
+++ b/public/js/extra.js
@@ -750,7 +750,7 @@ export function generateToc (id) {
'targetId': id,
'process': getHeaderContent
})
- /* eslint-enable no-unsed-vars */
+ /* eslint-enable no-unused-vars */
if (target.text() === 'undefined') { target.html('') }
const tocMenu = $('<div class="toc-menu"></div')
const toggle = $('<a class="expand-toggle" href="#">Expand all</a>')
@@ -888,7 +888,7 @@ export function renderTOC (view) {
const target = $(`#${id}`)
target.html('')
/* eslint-disable no-unused-vars */
- var toc = new window.Toc('doc', {
+ let TOC = new window.Toc('doc', {
'level': 3,
'top': -1,
'class': 'toc',