Subject: Re: bug#51444: One issue in NEWS

From: Eli Zaretskii <[email-masked]>
Date: Wed, 27 Oct 2021 21:46:58 +0300

> From: Juri Linkov <[email-masked]>
> Cc: [email-masked]
> Date: Wed, 27 Oct 2021 21:39:38 +0300
> 
> >>   @findex next-error-message
> >>   @vindex next-error-message-highlight
> >> 
> >> 'next-error-message' is a face and can be removed from the index.
> >> But 'next-error-message-highlight' is a user option, and when
> >> the reader selects it from the Info index, its page says nothing
> >> about this option.  This patch fills the gap:
> >
> > Does that option need to be documented in the manual?  It sounds quite
> > obscure to me.
> 
> It's on a par with next-error-highlight and next-error-highlight-no-select:
> 
> - next-error-highlight and next-error-highlight-no-select are applied
>   to the buffer visited by next-error;
> 
> - next-error-message-highlight highlighting is applied to the buffer
>   with error messages and matches.

So maybe none of them needs to be in the manual.