[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42406: Mouse-wheel scrolling can be flickering
From: |
Eli Zaretskii |
Subject: |
bug#42406: Mouse-wheel scrolling can be flickering |
Date: |
Tue, 15 Dec 2020 18:52:43 +0200 |
> From: martin rudalics <rudalics@gmx.at>
> Date: Tue, 15 Dec 2020 08:58:59 +0100
> Cc: Alan Third <alan@idiocy.org>, 42406@debbugs.gnu.org
>
> >> 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.
Sorry, no. We will not remove those calls without a positive evidence
that they are not needed. It is not enough to say that someone
doesn't see any adverse effects in his/her use patterns and Emacs
customizations.
- bug#42406: Mouse-wheel scrolling can be flickering, (continued)
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/17
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/17
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/17
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/17
- bug#42406: Mouse-wheel scrolling can be flickering, Alan Third, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering,
Eli Zaretskii <=
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/15
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Alan Third, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, Alan Third, 2020/12/14
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/15