diff --git a/public/js/extra.js b/public/js/extra.js index 6febd88..bf38813 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 = $('
Expand all') @@ -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',