[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-pre
From: |
Eli Zaretskii |
Subject: |
bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode |
Date: |
Thu, 06 Jul 2023 10:37:07 +0300 |
> From: sbaugh@catern.com
> Date: Sun, 02 Jul 2023 21:51:01 +0000 (UTC)
>
> This patch is based on the patch in bug#64425 (since I noticed this
> unrelated issue while working on that, and they touch the same code).
>
>
>
> When pixel-scroll-precision-mode is enabled, scrolling the mouse wheel
> will yield wheel-{up,down} events. flymake now binds the new events
> in addition to the old mouse-wheel-{up,down}-event.
>
> * lisp/progmodes/flymake.el:(flymake--mode-line-counter-scroll-prev,
> flymake--mode-line-counter-scroll-next,
> flymake--mode-line-counter-map): Add.
> (flymake--mode-line-counter): Use new keymap and include 'type as a
> property in the mode-line.
Thanks. Any reason you couldn't simply add more events to the
existing code?
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, sbaugh, 2023/07/02
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode,
Eli Zaretskii <=
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, Spencer Baugh, 2023/07/06
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, Eli Zaretskii, 2023/07/06
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, João Távora, 2023/07/07
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, João Távora, 2023/07/07
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, sbaugh, 2023/07/07
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, Eli Zaretskii, 2023/07/13
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, João Távora, 2023/07/13
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, Eli Zaretskii, 2023/07/13
- bug#64428: [PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode, Eli Zaretskii, 2023/07/07