mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-20 12:19:36 +00:00
Merge branch 'fix-smooth-scroll-timers' of https://github.com/ivaradi/kitty
This commit is contained in:
commit
5d0c976018
1 changed files with 1 additions and 0 deletions
|
|
@ -2461,6 +2461,7 @@ class Window:
|
|||
if progress >= 1.0:
|
||||
# Ensure we land exactly on a line boundary with pixel_scroll_offset_y = 0
|
||||
self.screen.scroll_to_absolute(max(0, a.start_scrolled_by - a.total))
|
||||
remove_timer(a.timer)
|
||||
a.timer = 0
|
||||
else:
|
||||
# Use absolute positioning to avoid pixel rounding errors from incremental fractional scrolls
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue