[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: |
Mon, 13 Feb 2023 05:31:00 +0200 |
> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: 61307@debbugs.gnu.org
> Date: Mon, 13 Feb 2023 03:20:19 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > So I guess we should add calls to window-scroll-functions inside
> > pixel-scroll.el functions which actually scroll. Patches welcome.
>
> pixel-scroll-mode (without "precision") already behaves correctly,
> AFAICT.
>
> pixel-scroll-precision-mode has basically one command in its minor mode
> map that does not call the w-s-functions: `pixel-scroll-precision'.
>
> So the naïve approach would be: call `window-scroll-functions' at the
> end of that command. Is this the right direction? Else I guess I'm not
> qualified here. Haven't checked that momentum stuff (for scrolling) yet.
Each command would be too often, I think, since this could be every
pixel. So I thought about some factor, perhaps configurable via a
variable, that would cause the call to be done every N pixels of
scroll.
WDYT?
- 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, 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 <=
- 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
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/16
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/16