# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1077930171 0
# Node ID 1ab08664aea00d7a7e2c721788d6d48382039da8
# Parent  2affc700598b3c86cc2fa45b4e0e03555e6c357b
(window_loop, Fforce_window_update): Force mode line
updates by setting prevent_redisplay_optimizations_p and
update_mode_lines.

diff -r 2affc700598b -r 1ab08664aea0 src/window.c
--- a/src/window.c	Sat Feb 28 01:02:35 2004 +0000
+++ b/src/window.c	Sat Feb 28 01:02:51 2004 +0000
@@ -2044,6 +2044,9 @@
 	    if (EQ (w->buffer, obj))
 	      {
 		mark_window_display_accurate (window, 0);
+		w->update_mode_line = Qt;
+		XBUFFER (obj)->prevent_redisplay_optimizations_p = 1;
+		++update_mode_lines;
 		best_window = window;
 	      }
 	    break;
@@ -3462,12 +3465,18 @@
   if (NILP (object))
     {
       windows_or_buffers_changed++;
+      update_mode_lines++;
       return Qt;
     }
 
   if (WINDOWP (object))
     {
+      struct window *w = XWINDOW (object);
       mark_window_display_accurate (object, 0);
+      w->update_mode_line = Qt;
+      if (BUFFERP (w->buffer))
+	XBUFFER (w->buffer)->prevent_redisplay_optimizations_p = 1;
+      ++update_mode_lines;
       return Qt;
     }