diff options
Diffstat (limited to '')
| -rw-r--r-- | public/js/index.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/index.js b/public/js/index.js index 86bba7f5..c414b0b5 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -1725,6 +1725,7 @@ function updateView() { lastResult = $(result).clone(); finishView(ui.area.view); autoLinkify(ui.area.view); + deduplicatedHeaderId(ui.area.view); generateToc('toc'); generateToc('toc-affix'); generateScrollspy(); |