bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?

[Eli Zaretskii]

> From: Michael Heerdegen <michael_heerdegen@web.de>
> Date: Mon, 06 Feb 2023 02:49:54 +0100
> 
> 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?