|
From: | Michael Heerdegen |
Subject: | bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions? |
Date: | Mon, 06 Feb 2023 02:49:54 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |