# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 979654871 0
# Node ID e5e6579e8308298cc7e6514b08f5f8520dbb327f
# Parent  3ee28dccba1d4199394195d2e5462bd30368a264
(Fset_buffer_modified_p): Set buffer's
prevent_redisplay_optimizations_p flag.

diff -r 3ee28dccba1d -r e5e6579e8308 src/buffer.c
--- a/src/buffer.c	Tue Jan 16 14:04:21 2001 +0000
+++ b/src/buffer.c	Tue Jan 16 14:21:11 2001 +0000
@@ -894,7 +894,10 @@
   XSETBUFFER (buffer, current_buffer);
   window = Fget_buffer_window (buffer, Qt);
   if (WINDOWP (window))
-    update_mode_lines++;
+    {
+      ++update_mode_lines;
+      current_buffer->prevent_redisplay_optimizations_p = 1;
+    }
   
   return flag;
 }