# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1199938085 0
# Node ID f0dfa6a512bbc7f316435055eb4ffb04a313fd45
# Parent  d896cd0ecab5a99f4787dec52faedec9c85c29b1
Chong Yidong  <cyd at stupidchicken.com>

(wait_reading_process_output): Check for window changes caused by timers.

diff -r d896cd0ecab5 -r f0dfa6a512bb src/process.c
--- a/src/process.c	Thu Jan 10 04:06:13 2008 +0000
+++ b/src/process.c	Thu Jan 10 04:08:05 2008 +0000
@@ -4718,6 +4718,7 @@
 	{
 	  int old_timers_run = timers_run;
 	  struct buffer *old_buffer = current_buffer;
+	  Lisp_Object old_window = selected_window;
 	  int leave = 0;
 
 	  if (detect_input_pending_run_timers (do_display))
@@ -4731,7 +4732,8 @@
 	     an alike.  Make read_key_sequence aware of that.  */
 	  if (timers_run != old_timers_run
 	      && waiting_for_user_input_p == -1
-	      && old_buffer != current_buffer)
+	      && (old_buffer != current_buffer
+	      || !EQ (old_window, selected_window)))
 	    record_asynch_buffer_change ();
 
 	  if (leave)