diff src/buffer.c @ 69153:1f7111323584

* buffer.c (Foverlay_put): Mark buffer as changed.
author Chong Yidong <cyd@stupidchicken.com>
date Sat, 25 Feb 2006 23:32:19 +0000
parents 5c9e3eb42568
children 01488e1b40d1
line wrap: on
line diff
--- 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;
 }