Subject: Re: bug#32676: [PATCH] Add option to highlight the 'next-error' error message

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 18 Oct 2020 10:34:50 +0200

Juri Linkov <[email-masked]> writes:

> Now pushed.  After a day of using it, I realized this feature paved the way
> to another very useful feature: when the highlighting overlay is not removed
> after going to the next occurrence, and leaves the highlighting
> on all visited lines, this provides an overview what lines were
> already visited, and what lines not yet visited - like visited links
> are highlighted differently in browsers.

That sounds like a good idea.  Go ahead and push, if you haven't
already.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no