# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1140910339 0
# Node ID 1f7111323584bdf2fedd102443d3ce5cd2215cef
# Parent  f2147c1027b648f5eba2382100837ccfecdd9edc
	* buffer.c (Foverlay_put): Mark buffer as changed.

diff -r f2147c1027b6 -r 1f7111323584 src/ChangeLog
--- a/src/ChangeLog	Sat Feb 25 23:20:10 2006 +0000
+++ b/src/ChangeLog	Sat Feb 25 23:32:19 2006 +0000
@@ -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 -r f2147c1027b6 -r 1f7111323584 src/buffer.c
--- a/src/buffer.c	Sat Feb 25 23:20:10 2006 +0000
+++ b/src/buffer.c	Sat Feb 25 23:32:19 2006 +0000
@@ -4094,6 +4094,8 @@
 	      == OVERLAY_POSITION (OVERLAY_END (overlay))))
 	Fdelete_overlay (overlay);
     }
+
+  windows_or_buffers_changed++;
   return value;
 }