[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: |
Wed, 16 Dec 2020 21:35:15 +0200 |
> Cc: konrad.podczeck@univie.ac.at, alan@idiocy.org, 42406@debbugs.gnu.org
> From: martin rudalics <rudalics@gmx.at>
> Date: Wed, 16 Dec 2020 19:51:39 +0100
>
> >> Then something else must come into play here. I don't see where
> >> 'scroll-bar-toolkit-scroll' forces a mode line update.
> >
> > AFAIR, scroll-up does.
>
> 'scroll-up' runs scroll_command and nothing else.
Yes. And scroll_command calls window_scroll, and that calls
window_scroll_pixel_based, where we have these wset_update_mode_line
calls about which you asked. Or what am I missing?
- bug#42406: Mouse-wheel scrolling can be flickering, (continued)
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, Eli Zaretskii, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 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/17
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 2020/12/16
- bug#42406: Mouse-wheel scrolling can be flickering, martin rudalics, 2020/12/17
- bug#42406: Mouse-wheel scrolling can be flickering, Konrad Podczeck, 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, 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