changeset 7933:f997d5dc44d8

(redisplay_region): Treat selected window's buffer specially, not current buffer.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Jun 1994 00:52:13 +0000
parents ac4b606bcfa2
children b5e9b6a00f5d
files src/xdisp.c
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Fri Jun 17 00:51:33 1994 +0000
+++ b/src/xdisp.c	Fri Jun 17 00:52:13 1994 +0000
@@ -1820,7 +1820,12 @@
       start = end; end = temp;
     }
 
-  if (buf != current_buffer)
+  /* If this is a buffer not in the selected window,
+     we must do other windows.  */
+  if (buf != XBUFFER (XWINDOW (selected_window)->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;
   else
     {