GNU bug report logs - #75841
[PATCH] Fix mouse click on flymake

Previous Next

Full log

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

From: Ergus <spacibba <at> aol.com>
To: Juri Linkov <juri <at> linkov.net>
Cc: sbaugh <at> janestreet.com, eliz <at> gnu.org, 75841 <at> debbugs.gnu.org
Subject: Re: bug#75841: [PATCH] [UPDATE4] Fix mouse click on flymake
Date: Fri, 7 Feb 2025 13:55:11 +0100

On Thu, Feb 06, 2025 at 09:50:33AM +0200, Juri Linkov wrote:
>> This version also fixes what I consider an issue which is moving the
>> cursor to the mouse click in the cases where there is not diagnostic
>> (and no action is expected to take place.)
>
>Is this patch ready to push?

I think so. I haven't detected any new issue.

>Can we push it now?  I have more issues with flymake indicators to
>report, not related to this patch.

If you could add a couple of lines in NEWS and check the dockstrings it
is very welcome.

Best,
Ergus

Previous Next

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