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

Previous Next

Full log

View this message in rfc822 format

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

Eli Zaretskii <eliz <at> gnu.org> writes:

>> 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?

Yes, but it's unclear which techniques you're referring to, or what is
lacking from the proposed behavior.

Previous Next

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