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

diff --git a/src/ChangeLog b/src/ChangeLog
index ea5f5e317b8d1e79b69a520d89a4cd87665cc122..baca60f5392f0298be303b42a9654a033648a2ef 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 c817ebc167ead51d2c9bf1a847fa1c473c3b9382..24260be03a87895a9251af6f6c4aaf82afaca5ef 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