Fix duplicated headers anchor link not been updated properly

jackycute · jackycute · commit 1a617ddf2ee4 · 2017-02-03T22:02:12.000+08:00
diff --git a/public/js/extra.js b/public/js/extra.js
@@ -833,7 +833,7 @@ export function deduplicatedHeaderId(view) {
                 const newId = id + j;
                 const $duplicatedHeader = $(duplicatedHeaders[j]);
                 $duplicatedHeader.attr('id', newId);
-                const $headerLink = $duplicatedHeader.find('> .header-link');
+                const $headerLink = $duplicatedHeader.find(`> a.anchor[href="#${id}"]`);
                 $headerLink.attr('href', `#${newId}`);
                 $headerLink.attr('title', newId);
             }

Original file line number	Diff line number	Diff line change
`@@ -833,7 +833,7 @@ export function deduplicatedHeaderId(view) {`
`833`	`833`	`const newId = id + j;`
`834`	`834`	`const $duplicatedHeader = $(duplicatedHeaders[j]);`
`835`	`835`	`$duplicatedHeader.attr('id', newId);`
`836`		`- const $headerLink = $duplicatedHeader.find('> .header-link');`
	`836`	+ const $headerLink = $duplicatedHeader.find(`> a.anchor[href="#${id}"]`);
`837`	`837`	$headerLink.attr('href', `#${newId}`);
`838`	`838`	`$headerLink.attr('title', newId);`
`839`	`839`	`}`