changeset 80225:2958d9bca9be

(wait_reading_process_output): Check for window changes caused by timers. Suggested by Johan Bockgrd.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 27 Feb 2008 15:07:14 +0000
parents eff6b2e68b05
children 45099af37ea3
files src/process.c
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/process.c	Wed Feb 27 15:06:36 2008 +0000
+++ b/src/process.c	Wed Feb 27 15:07:14 2008 +0000
@@ -4376,13 +4376,15 @@
 	    {
 	      int old_timers_run = timers_run;
 	      struct buffer *old_buffer = current_buffer;
+	      Lisp_Object old_window = selected_window;
 
 	      timer_delay = timer_check (1);
 
 	      /* If a timer has run, this might have changed buffers
 		 an alike.  Make read_key_sequence aware of that.  */
 	      if (timers_run != old_timers_run
-		  && old_buffer != current_buffer
+		  && (old_buffer != current_buffer
+		      || !EQ (old_window, selected_window))
 		  && waiting_for_user_input_p == -1)
 		record_asynch_buffer_change ();