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

From: Michael Heerdegen <[email-masked]>
Date: Mon, 06 Feb 2023 02:49:54 +0100

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.