changeset 87689:f0dfa6a512bb

Chong Yidong <cyd at stupidchicken.com> (wait_reading_process_output): Check for window changes caused by timers.
author Glenn Morris <rgm@gnu.org>
date Thu, 10 Jan 2008 04:08:05 +0000
parents d896cd0ecab5
children 9cbad7267d3d
files src/process.c
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)