[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions
From: |
Po Lu |
Subject: |
bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions? |
Date: |
Mon, 06 Feb 2023 22:07:55 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Heerdegen <michael_heerdegen@web.de> writes:
> Hello,
>
> I discovered that when scrolling with the mouse wheel while
> `pixel-scroll-precision-mode' is enabled `window-scroll-functions' are
> not run. Should they be?
>
>
> TIA,
>
> Michael.
IIRC this is due to how pixel-scroll-precision-mode calls
set-window-start with NOFORCE set to t.
Patches welcome, but please make sure they do not slow precision
scrolling down.
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, (continued)
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/14
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Eli Zaretskii, 2023/02/15
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/15
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Eli Zaretskii, 2023/02/16
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/16
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/16
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/19
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/19
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/19
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/19
bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?,
Po Lu <=