changeset 79807:6292ea8947eb

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:07:46 +0000
parents ac0e58571787
children 6ef8d3591373
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:05:45 2008 +0000
+++ b/src/process.c	Thu Jan 10 04:07:46 2008 +0000
@@ -4697,6 +4697,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))
@@ -4710,7 +4711,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)