# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1204124834 0
# Node ID 2958d9bca9be90e8dfbacd7a248b1a4393f59b7c
# Parent  eff6b2e68b05815894da3945dd48c739ff7e9a12
(wait_reading_process_output): Check for window changes caused by timers.
Suggested by Johan Bockg���rd.

diff -r eff6b2e68b05 -r 2958d9bca9be src/process.c
--- 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 ();