Subject: bug#51444: One issue in NEWS

From: Juri Linkov <[email-masked]>
Date: Wed, 27 Oct 2021 21:39:38 +0300

>>   ** New user option 'next-error-message-highlight'.
>>   In addition to a fringe arrow, 'next-error' error may now optionally
>>   highlight the current error message in the 'next-error' buffer.
>>   This user option can be also customized to keep highlighting on all
>>   visited errors, so you can have an overview what errors were already visited.
>> 
>> But the source of the manual has only these two lines:
>> 
>>   @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.