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

From: Po Lu <[email-masked]>
Date: Mon, 06 Feb 2023 22:07:55 +0800

Michael Heerdegen <[email-masked]> 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.