diff src/process.c @ 92266:f32eae6092fa

(wait_reading_process_output): Check for window changes caused by timers. Suggested by Johan Bockg?rd.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 27 Feb 2008 15:09:04 +0000
parents b7a5a89054dc
children 5dbe361f12c2
line wrap: on
line diff
--- a/src/process.c	Wed Feb 27 15:08:55 2008 +0000
+++ b/src/process.c	Wed Feb 27 15:09:04 2008 +0000
@@ -4362,13 +4362,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 ();