diff options
author | Ferdinand Thiessen <rpm@fthiessen.de> | 2022-09-12 21:35:54 +0300 |
---|---|---|
committer | Ferdinand Thiessen <rpm@fthiessen.de> | 2022-09-13 18:57:51 +0300 |
commit | 95c5e7c678df6ca4e5776a7dfe831ed695a0a5a8 (patch) | |
tree | 4cd53cae2359f63a5a71da89c1893a82f440b04d /js/text-viewer.js | |
parent | e89292f4d3e65d35faa1e9c42e13523896c89f72 (diff) |
Add visible and clickable links for the page anchors
Handle inter-page links properly and use a heading view for displaying links and link anchors. Implements #2173
Also fix link handling, to scroll to selected header when
clicking on an anchor link (`#some-id`).
Signed-off-by: Ferdinand Thiessen <rpm@fthiessen.de>
Diffstat (limited to 'js/text-viewer.js')
0 files changed, 0 insertions, 0 deletions