[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#51444: One issue in NEWS
From: |
Eli Zaretskii |
Subject: |
bug#51444: One issue in NEWS |
Date: |
Wed, 27 Oct 2021 21:46:58 +0300 |
> From: Juri Linkov <juri@linkov.net>
> Cc: 51444@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.