# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1140823886 0
# Node ID 5c9e3eb425686e92e77f6ea4ef7d139c2f8ab127
# Parent  0ec2a1d7ad82d442359f2254d8313e9f6db6ab80
(modify_overlay): Force redisplay if we modify an
overlay at the end of the buffer.

diff -r 0ec2a1d7ad82 -r 5c9e3eb42568 src/buffer.c
--- a/src/buffer.c	Fri Feb 24 23:31:06 2006 +0000
+++ b/src/buffer.c	Fri Feb 24 23:31:26 2006 +0000
@@ -3649,6 +3649,10 @@
   /* If multiple windows show this buffer, we must do other windows.  */
   else if (buffer_shared > 1)
     windows_or_buffers_changed = 1;
+  /* If we modify an overlay at the end of the buffer, we cannot
+     be sure that window end is still valid.  */
+  else if (end >= ZV && start <= ZV)
+    windows_or_buffers_changed = 1;
 
   ++BUF_OVERLAY_MODIFF (buf);
 }