diff options
Diffstat (limited to '')
| -rw-r--r-- | public/js/extra.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 16235669..a3e840d2 100644 --- 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); } |