($header, id, newId)
| 1108 | } |
| 1109 | |
| 1110 | function changeHeaderId ($header, id, newId) { |
| 1111 | $header.attr('id', newId) |
| 1112 | const $headerLink = $header.find(`> a.anchor[href="#${id}"]`) |
| 1113 | $headerLink.attr('href', `#${newId}`) |
| 1114 | $headerLink.attr('title', newId) |
| 1115 | } |
| 1116 | |
| 1117 | export function deduplicatedHeaderId (view) { |
| 1118 | // headers contained in the last change |
no outgoing calls
no test coverage detected