comparison src/process.c @ 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 6292ea8947eb
children a6adb4611f10
comparison
equal deleted inserted replaced
80224:eff6b2e68b05 80225:2958d9bca9be
4374 4374
4375 do 4375 do
4376 { 4376 {
4377 int old_timers_run = timers_run; 4377 int old_timers_run = timers_run;
4378 struct buffer *old_buffer = current_buffer; 4378 struct buffer *old_buffer = current_buffer;
4379 Lisp_Object old_window = selected_window;
4379 4380
4380 timer_delay = timer_check (1); 4381 timer_delay = timer_check (1);
4381 4382
4382 /* If a timer has run, this might have changed buffers 4383 /* If a timer has run, this might have changed buffers
4383 an alike. Make read_key_sequence aware of that. */ 4384 an alike. Make read_key_sequence aware of that. */
4384 if (timers_run != old_timers_run 4385 if (timers_run != old_timers_run
4385 && old_buffer != current_buffer 4386 && (old_buffer != current_buffer
4387 || !EQ (old_window, selected_window))
4386 && waiting_for_user_input_p == -1) 4388 && waiting_for_user_input_p == -1)
4387 record_asynch_buffer_change (); 4389 record_asynch_buffer_change ();
4388 4390
4389 if (timers_run != old_timers_run && do_display) 4391 if (timers_run != old_timers_run && do_display)
4390 /* We must retry, since a timer may have requeued itself 4392 /* We must retry, since a timer may have requeued itself