# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 795883850 0
# Node ID a9c7a7f91693cea9f7b5a0f7cc89966a2b58c5ae
# Parent  ea9524b795209569284699e33c63e9c99ff003f3
(redisplay_window): Skip the only-point-has-changed
optimization if updating the window's mode line.

diff -r ea9524b79520 -r a9c7a7f91693 src/xdisp.c
--- a/src/xdisp.c	Wed Mar 22 08:54:39 1995 +0000
+++ b/src/xdisp.c	Wed Mar 22 14:50:50 1995 +0000
@@ -1431,6 +1431,10 @@
   if (XFASTINT (w->last_modified) >= MODIFF
       && PT >= startp && !clip_changed
       && (just_this_one || XFASTINT (w->width) == FRAME_WIDTH (f))
+      /* If force-mode-line-update was called, really redisplay;
+	 that's how redisplay is forced after e.g. changing
+	 buffer-invisibility-spec.  */
+      && ! NILP (w->update_mode_line)
       /* Can't use this case if highlighting a region.  */
       && !(!NILP (Vtransient_mark_mode) && !NILP (current_buffer->mark_active))
       && NILP (w->region_showing)