GNU bug report logs - #51444
One issue in NEWS

Previous Next

Full log

Message #8 received at 51444 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Juri Linkov <juri <at> linkov.net>
Cc: 51444 <at> debbugs.gnu.org
Subject: Re: bug#51444: One issue in NEWS
Date: Wed, 27 Oct 2021 21:30:10 +0300

> From: Juri Linkov <juri <at> linkov.net>
> Date: Wed, 27 Oct 2021 20:27:22 +0300
> 
> Currently I'm reading NEWS.28 and noticed this section marked by
> +++ as documented in the manual:
> 
>   +++
>   ** 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.

Previous Next

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