GNU bug report logs - #64428
[PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode

Previous Next

Full log

Message #8 received at 64428 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: sbaugh <at> catern.com
Cc: 64428 <at> debbugs.gnu.org
Subject: Re: bug#64428: [PATCH] Fix flymake mode line scrolling with
 pixel-scroll-precision-mode
Date: Thu, 06 Jul 2023 10:37:07 +0300

> From: sbaugh <at> 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?

Previous Next

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