GNU bug report logs - #29737
27.0.50; pixel-scroll-mode is laggy

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Tak Kunihiro <tkk <at> misasa.okayama-u.ac.jp>
Cc: valentjedi <at> gmail.com, 29737 <at> debbugs.gnu.org
Subject: bug#29737: 27.0.50; pixel-scroll-mode is laggy
Date: Sat, 06 Jan 2018 19:43:19 +0200

> Date: Mon, 01 Jan 2018 09:58:38 +0900 (JST)
> Cc: eliz <at> gnu.org, 29737 <at> debbugs.gnu.org, tkk <at> misasa.okayama-u.ac.jp
> From: Tak Kunihiro <tkk <at> misasa.okayama-u.ac.jp>
> 
> I think that on scrolling of 1000 lines, smooth scroll is not
> necessary.  User wants smooth scrolling only for the first spin of
> mouse wheel.
> 
> This patch introduces a new variable `pixel-dead-time' and
> `pixel-last-scroll-time'.  When another scroll request was delivered
> within `pixel-dead-time', very likely user does not want smooth
> scrolling.
> 
> On such situation, `scroll-down' is called instead of
> `pixel-scroll-pixel-down'.  On theory there should not be lag because
> of smoothing.
> 
> I tested the revised pixel-scroll-mode for a week and confirmed that
> works good.  When `pixel-dead-time' is zero, its behavior is the same
> as before.  I think `pixel-dead-time' 0.1 works better.
> 
> I'm sending ChangeLog and a patch relative to the current master.

There was no response, but do you think we should push this
regardless?  (It should go to the release branch, not to master.)

Thanks.

Previous Next

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