GNU bug report logs - #57140
New user option mouse-wheel-text-scale-buffer

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Tyler Grinn <tylergrinn <at> gmail.com>
Cc: 57140 <at> debbugs.gnu.org
Subject: bug#57140: New user option mouse-wheel-text-scale-buffer
Date: Thu, 11 Aug 2022 20:47:47 +0300

> From: Tyler Grinn <tylergrinn <at> gmail.com>
> Cc: 57140 <at> debbugs.gnu.org
> Date: Thu, 11 Aug 2022 13:38:53 -0400
> 
> Eli Zaretskii <eliz <at> gnu.org> writes:
> 
> >> Sure, let me rephrase: for two-finger scrolling, it's hard to emit a
> >> single scroll event. With a smaller step size it is easier to get it
> >> close to the scale I want, but regardless of the step size, choosing an
> >> exact text scale is difficult. This leads to buffers having slightly
> >> different text scales.
> >
> > If that's the problem, shouldn't that be handled by techniques we use
> > in precision-scrolling?
> 
> Could you expand on that?

Are you familiar with pixel-scroll-precision-mode?

Previous Next

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