GNU bug report logs - #51444
One issue in NEWS

Previous Next

Full log

Message #14 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:46:58 +0300

> From: Juri Linkov <juri <at> linkov.net>
> Cc: 51444 <at> debbugs.gnu.org
> 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.

Previous Next

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