diff options
author | Wu Cheng-Han | 2015-09-25 14:27:23 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2015-09-25 14:27:23 +0800 |
commit | bc31e9fe3b5a720c369826fe959f9830b98c2ccc (patch) | |
tree | ea1b853718e6f3a533b34f9a9225ffef8e18c082 /public/js/index.js | |
parent | 44cd5d4b567b1cd69c2b56f6b6b5da3f5e2f7042 (diff) |
Added deduplicatedHeaderId to avoid multiple same header id
Diffstat (limited to 'public/js/index.js')
-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(); |