(isearch-lazy-highlight-new-loop, isearch-lazy-highlight-search): Use it. Fixes: debbugs:9727
Attach a file by drag & drop or click to upload