GNU bug report logs - #51444
One issue in NEWS

Previous Next

Full log

View this message in rfc822 format

From: Juri Linkov <juri <at> linkov.net>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 51444 <at> debbugs.gnu.org
Subject: bug#51444: One issue in NEWS
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.

Previous Next

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