[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: |
Thu, 11 Aug 2022 19:02:27 +0300 |
> From: Tyler Grinn <tylergrinn@gmail.com>
> Cc: 57140@debbugs.gnu.org
> Date: Thu, 11 Aug 2022 11:23:51 -0400
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Thanks, but isn't it better to control the amount of scaling by
> > changing the value of text-scale-mode-step instead? Having to scroll
> > the wheel several clicks without any effect would be confusing, I
> > think. And text-scale-mode-step is already a user variable that is
> > available for this purpose. So maybe you should try decreasing the
> > default value to, say, 1.02, to see if that satisfies your needs.
>
> For some trackpads, controlling how many 'clicks' to scroll is quite
> difficult. The step size fixes the issue of scrolling too fast, but I
> still have trouble choosing the exact text scale I want. My preference
> is still for a larger step size and throttling scroll events.
Sorry, I don't understand why you need to count clicks. Typically
when users change the text scale, they just turn the wheel until the
size they get fits their needs. Making text-scale-mode-step smaller
causes finer changes, so it's easier to be more precise in finding the
desired scale.
Can you explain how your proposal makes it easier than that, and why?
- 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 <=
- 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/12