GNU bug report logs - #42406
Mouse-wheel scrolling can be flickering

Previous Next

Full log

Message #87 received at 42406 <at> debbugs.gnu.org (full text, mbox):

From: Konrad Podczeck <konrad.podczeck <at> univie.ac.at>
To: martin rudalics <rudalics <at> gmx.at>
Cc: Alan Third <alan <at> idiocy.org>, 42406 <at> debbugs.gnu.org
Subject: Re: bug#42406: Mouse-wheel scrolling can be flickering
Date: Tue, 15 Dec 2020 14:27:38 +0100

Does “not necessarily” mean

(a) if I dont’ have the mentioned problem now, I will never see it;

or

(b) I should not be surprised if I see it in three weeks, say.

> Am 15.12.2020 um 08:58 schrieb martin rudalics <rudalics <at> gmx.at>:
> 
> >> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.