changeset 92266:f32eae6092fa

(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:09:04 +0000
parents 9d5f4925c981
children 467f32569332
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: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 ();