Subject: bug#29321: Isearch hit count

From: Drew Adams <[email-masked]>
Date: Sat, 27 Oct 2018 17:02:51 -0700 (PDT)

> > Juri: Adapting your patch to my code, I notice that it uses
> > `isearch-lazy-highlight-buffer' instead of
> > `isearch-lazy-highlight-buffer-p' now.  Did you intend that
> > change back to using the option in those occurrences?
> 
> More exactly, it seems like you use a mix now of
> `isearch-lazy-highlight-buffer' and `lazy-highlight-buffer'
> (no `isearch-'), the latter of which is not in your previous
> patches at all (for bug #29360).
> 
> Please advise.  What replaced what exactly, in this regard?

I guess that since your patch to the bug thread you just renamed
isearch-lazy-highlight-buffer to lazy-highlight-buffer and you
renamed isearch-lazy-highlight-buffer-p to
isearch-lazy-highlight-buffer.

If something other or more than that was involved, please let me know.