# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 966958259 0
# Node ID e0e59380736b865946dcbba708b42ca9c9a9df44
# Parent  c503cf38b3e82ff30c0f29e8aa82e1d121663f08
Mark isearch-lazy-highlight as documented in the manual.

diff -r c503cf38b3e8 -r e0e59380736b etc/NEWS
--- a/etc/NEWS	Tue Aug 22 15:28:38 2000 +0000
+++ b/etc/NEWS	Tue Aug 22 15:30:59 2000 +0000
@@ -1059,6 +1059,7 @@
 *** 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