[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#5557: <left-margin> <double-wheel-down> is undefined
From: |
Stefan Kangas |
Subject: |
bug#5557: <left-margin> <double-wheel-down> is undefined |
Date: |
Sat, 22 Aug 2020 07:48:31 -0400 |
Eli Zaretskii <eliz@gnu.org> writes:
>> +*** Mouse wheel scrolling less sensitive to positioning.
>
> I'd suggest
>
> Mouse-wheel scrolling now works on more parts of frame's display.
>
>> +When using 'mwheel-mode' (enabled by default), the mouse wheel will
>> +now scroll also when the mouse cursor is on the fringe, margin, header
>> +line, and mode line.
>
> The code also arranges for the scroll bars, no? Also, please use
> "fringes" and "margins", in plural.
Thanks for the review. Fixed your comments in the attached patch.
Best regards,
Stefan Kangas
0001-Bind-mwheel-scroll-on-more-parts-of-frame-s-display.patch
Description: Text Data
- bug#5557: <left-margin> <double-wheel-down> is undefined, (continued)
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/13
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/14
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/14
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/14
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/15
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/16
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/16
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/16
bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/17