# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 772795659 0
# Node ID b546fa7e991152d52fa6171cd829780b006e600d
# Parent  cef2897f2e15433e2443b81eb4739f525971c597
(redisplay_region): For special treatment, BUF most be
both current and displayed in selected window.

diff -r cef2897f2e15 -r b546fa7e9911 src/xdisp.c
--- a/src/xdisp.c	Tue Jun 28 09:25:42 1994 +0000
+++ b/src/xdisp.c	Tue Jun 28 09:27:39 1994 +0000
@@ -1824,6 +1824,9 @@
      we must do other windows.  */
   if (buf != XBUFFER (XWINDOW (selected_window)->buffer))
     windows_or_buffers_changed = 1;
+  /* If it's not current, we can't use beg_unchanged, end_unchanged for it.  */
+  else if (buf != current_buffer)
+    windows_or_buffers_changed = 1;
   /* If multiple windows show this buffer, we must do other windows.  */
   else if (buffer_shared > 1)
     windows_or_buffers_changed = 1;