[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: |
Eli Zaretskii |
Subject: |
bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions? |
Date: |
Sun, 12 Feb 2023 14:15:22 +0200 |
> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: 61307@debbugs.gnu.org
> Date: Mon, 06 Feb 2023 22:30:19 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > > 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?
> >
> > Are you saying that window-scroll-functions are _never_ run, no matter
> > how far and for how long you are scrolling? Or are they sometimes run
> > and sometimes not, like only if you scroll far enough?
>
> No, never, as far as I can tell.
So I guess we should add calls to window-scroll-functions inside
pixel-scroll.el functions which actually scroll. Patches welcome.
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/05
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Eli Zaretskii, 2023/02/06
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/06
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?,
Eli Zaretskii <=
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/12
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Eli Zaretskii, 2023/02/12
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/12
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Eli Zaretskii, 2023/02/13
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/13
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Eli Zaretskii, 2023/02/14
- 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