Mark isearch-lazy-highlight as documented in the manual.

diff --git a/etc/NEWS b/etc/NEWS
index 557600ee1d004b2a5b44ada3cfd771b7868c1707..769803c6878130091d754658516f4126792d8d01 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -1059,6 +1059,7 @@ that started the search.
 *** In Isearch mode, mouse-2 in the echo area now yanks the current
 selection into the search string rather than giving an error.
 
++++
 *** There is a new lazy highlighting feature in incremental search.
 
 Lazy highlighting is switched on/off by customizing variable