Re: Overlay evaporates when it should not

[Richard Stallman]

    The Elisp manual says of the overlay evaporate property:

    `evaporate'
         If this property is non-`nil', the overlay is deleted automatically
         if it becomes empty (i.e., if its length becomes zero).  However,
         if the overlay is _already_ empty, `evaporate' does not delete it.

Foverlay_put has explicit code to delete an empty overlay
if you give it a non-nil evaporate property.  It has been there
for 10 years.  So I'll change the manual.

Thanks.