[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:30:10 +0300 |
> From: Juri Linkov <juri@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.