# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1090075222 0
# Node ID b190e160aa911a0822aa432c6219a0c803fd4b02
# Parent  30845fb9e44d86ae4e5733ec2eb90354f491309f
(Overlay Properties): Adding `evaporate' prop deletes empty overlay immediately.

diff -r 30845fb9e44d -r b190e160aa91 lispref/display.texi
--- a/lispref/display.texi	Sat Jul 17 14:39:11 2004 +0000
+++ b/lispref/display.texi	Sat Jul 17 14:40:22 2004 +0000
@@ -1165,9 +1165,9 @@
 @item evaporate
 @kindex evaporate @r{(overlay property)}
 If this property is non-@code{nil}, the overlay is deleted automatically
-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.
+if it becomes empty (i.e., if its length becomes zero).  If you give
+an empty overlay a non-@code{nil} @code{evaporate} property, that deletes
+it immediately.
 
 @item local-map
 @cindex keymap of character (and overlays)