* buffer.c (Foverlay_put): Mark buffer as changed.

diff --git a/src/ChangeLog b/src/ChangeLog
index ea5f5e3..baca60f 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2006-02-25  Chong Yidong  <cyd@stupidchicken.com>
 
+       * buffer.c (Foverlay_put): Mark buffer as changed.
+
        * xterm.h (x_catch_errors) Return value changed to void.
        (x_uncatch_errors): Unused count argument deleted.
        

diff --git a/src/buffer.c b/src/buffer.c
index c817ebc..24260be 100644 (file)
--- a/src/buffer.c
+++ b/src/buffer.c
@@ -4094,6 +4094,8 @@ DEFUN ("overlay-put", Foverlay_put, Soverlay_put, 3, 3, 0,
              == OVERLAY_POSITION (OVERLAY_END (overlay))))
        Fdelete_overlay (overlay);
     }
+
+  windows_or_buffers_changed++;
   return value;
 }
 \f