[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42406: Mouse-wheel scrolling can be flickering
From: |
martin rudalics |
Subject: |
bug#42406: Mouse-wheel scrolling can be flickering |
Date: |
Tue, 15 Dec 2020 08:58:59 +0100 |
>> Does the line number displayed in the mode line update correctly when
>> you do that and scroll the window?
>
> Yes, as before. Should there be a problem now?
Not necessarily. If you don't see any problems there, the calls in
window_scroll_pixel_based could be possibly removed since that case
should be covered elsewhere.
martin
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/10
- bug#42406: Mouse-wheel scrolling can be flickering, Alan Third, 2020/12/10
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/11
- bug#42406: Mouse-wheel scrolling can be flickering, Alan Third, 2020/12/11
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/13
- bug#42406: Mouse-wheel scrolling can be flickering, Alan Third, 2020/12/13
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/13
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering,
martin rudalics <=
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/15