changeset 35339:e5e6579e8308

(Fset_buffer_modified_p): Set buffer's prevent_redisplay_optimizations_p flag.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 16 Jan 2001 14:21:11 +0000
parents 3ee28dccba1d
children c1a48fd56d2d
files src/buffer.c
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;
 }