[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57140: New user option mouse-wheel-text-scale-buffer
From: |
Eli Zaretskii |
Subject: |
bug#57140: New user option mouse-wheel-text-scale-buffer |
Date: |
Fri, 12 Aug 2022 08:36:00 +0300 |
> From: Tyler Grinn <tylergrinn@gmail.com>
> Cc: 57140@debbugs.gnu.org
> Date: Thu, 11 Aug 2022 15:24:33 -0400
>
> 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.
I refer to that mode's use of mwheel-coalesce-scroll-events and the
pixel-scroll-precision-* variables. That uses underlying capabilities
of using high-precision mouse events which are new in Emacs 29.
- 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, 2022/08/11
- bug#57140: New user option mouse-wheel-text-scale-buffer,
Eli Zaretskii <=