Added deduplicatedHeaderId to avoid multiple same header id

2015-09-25 14:27:23 +08:00
parent 44cd5d4b56
commit bc31e9fe3b
3 changed files with 22 additions and 1 deletions
--- 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();