[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: |
Po Lu |
Subject: |
bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions? |
Date: |
Thu, 16 Feb 2023 16:47:19 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Michael Heerdegen <michael_heerdegen@web.de>
>> Cc: 61307@debbugs.gnu.org
>> Date: Thu, 16 Feb 2023 05:57:18 +0100
>>
>> Eli Zaretskii <eliz@gnu.org> writes:
>>
>> > > But I understand that what I see when scrolling with a normal wheel
>> > > mouse is only one case we need to handle.
>>
>> > Right. Though on such a system, we should probably call
>> > window-scroll-functions every scroll.
>>
>> Is receiving <wheel-up> and <wheel-down> events a sufficient hint that
>> the user is scrolling using a "normal" wheel mouse?
>
> I'm not sure, but Po Lu will know.
>
> In any case, AFAIR some mice produce mouse-4 and mouse-5 events
> instead, so relying on the events' symbols might not be the best
> idea. We are supposed to know whether the device supports pixel
> precision, so maybe basing the decision on that is better?
Try:
(device-class last-event-frame last-event-device)
but I will eventually get around to replacing this with some virtual
modifier key in Emacs 30.
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, (continued)
- 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/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, 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 <=
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/16
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/19
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/19
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Michael Heerdegen, 2023/02/19
- bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/19
bug#61307: 30.0.50; pixel-scroll-precision-mode: window-scroll-functions?, Po Lu, 2023/02/06