[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57140: New user option mouse-wheel-text-scale-buffer
From: |
Tyler Grinn |
Subject: |
bug#57140: New user option mouse-wheel-text-scale-buffer |
Date: |
Thu, 11 Aug 2022 15:24:33 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Tyler Grinn <tylergrinn@gmail.com>
>> Cc: 57140@debbugs.gnu.org
>> Date: Thu, 11 Aug 2022 13:38:53 -0400
>>
>> Eli Zaretskii <eliz@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.
- bug#57140: New user option mouse-wheel-text-scale-buffer, Tyler Grinn, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Tyler Grinn, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Eli Zaretskii, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Tyler Grinn, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Eli Zaretskii, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Tyler Grinn, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Eli Zaretskii, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Tyler Grinn, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer, Eli Zaretskii, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer,
Tyler Grinn <=
- bug#57140: New user option mouse-wheel-text-scale-buffer, Eli Zaretskii, 2022/08/12