mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-20 20:22:10 +00:00
Merge branch 'fix-docs-scroll' of https://github.com/page-down/kitty
This commit is contained in:
commit
5899e06b6b
1 changed files with 1 additions and 1 deletions
2
docs/_static/custom.js
vendored
2
docs/_static/custom.js
vendored
|
|
@ -22,7 +22,7 @@ function scroll_sidebar_node_into_view(a) {
|
|||
a = a.offsetParent;
|
||||
if (!a || a == ss) break;
|
||||
}
|
||||
ss.scrollTop = pos;
|
||||
ss.scrollTo({top: pos, behavior: 'instant'});
|
||||
}
|
||||
|
||||
function mark_current_link(sidebar_tree, a, onload) {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue