bug#32676: [PATCH] Add option to highlight the 'next-error' error message

[Eli Zaretskii]

> From: Juri Linkov <juri@linkov.net>
> Cc: Eli Zaretskii <eliz@gnu.org>,  Robert Pluim <rpluim@gmail.com>,  
> 32676@debbugs.gnu.org
> Date: Mon, 08 Apr 2019 22:36:38 +0300
> 
> > I'd like to know if this patch is still being considered?
> 
> Why not?  Your patch provides a helpful feature.  I see only 2 problems
> with its latest version:
> 
> 1. compilation-current-error should be generalized not to be too
>    compilation-specific;
> 
> 2. next-error-hook should not be used for core features,
>    you could call next-error-message-highlight directly
>    from next-error-found.

3. A contribution this size needs legal paperwork for us to be able to
accept it.  Ernesto, would you like to start the paperwork now?

Thanks.