From bc31e9fe3b5a720c369826fe959f9830b98c2ccc Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han
Date: Fri, 25 Sep 2015 14:27:23 +0800
Subject: Added deduplicatedHeaderId to avoid multiple same header id

---
 public/js/index.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'public/js/index.js')

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();
-- 
cgit v1.2.3