# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1064926760 0
# Node ID f1ba36825faa97b1ba883e172ed3fc4cd9c1e07b
# Parent  3ec76ef338f924a5024e6bbf512a234cb5bbd63d
(Overlay Properties): Clarify `evaporate' property.

diff -r 3ec76ef338f9 -r f1ba36825faa lispref/display.texi
--- a/lispref/display.texi	Tue Sep 30 12:54:32 2003 +0000
+++ b/lispref/display.texi	Tue Sep 30 12:59:20 2003 +0000
@@ -1129,7 +1129,9 @@
 @item evaporate
 @kindex evaporate @r{(overlay property)}
 If this property is non-@code{nil}, the overlay is deleted automatically
-if it ever becomes empty (i.e., if it spans no characters).
+if it becomes empty (i.e., if its length becomes zero).  However,
+if the overlay is @emph{already} empty, @code{evaporate} does not
+delete it.
 
 @item local-map
 @cindex keymap of character (and overlays)