Re: [PATCH] [UPDATE2] Fix mouse click on flymake

[Juri Linkov]

> Please find attached the patch with the fix + the new feature.

Your previous patch worked at least for margins, but new one doesn't work.

> It includes:
>
> 1. A new defcustom equivalent to xref-after-jump-hook.
> 2. An optional argument to flymake-show-buffer-diagnostics.
> 3. Modification to flymake-menu to use a new function that also highlights
> the candidate when possible.

Thanks, nice idea.

> They look like too many, but are actually just a few lines, so I put
> them together.

I wonder why you don't send patches to bug-gnu-emacs
where it's easier to track them.