diff options
author | Glenn Morris <rgm@gnu.org> | 2008-01-10 04:09:49 +0000 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2008-01-10 04:09:49 +0000 |
commit | 63dbe8da55f83719acaf0dbd74d6273137334c6f (patch) | |
tree | fb0accb5ce6c2ae15dc0f949dc2c3469fbf4cfab /src/process.c | |
parent | 511e35591a60d2577e5d0ed7199c5bdfb5f9ba83 (diff) | |
download | emacs-63dbe8da55f83719acaf0dbd74d6273137334c6f.tar.gz |
Chong Yidong <cyd at stupidchicken.com>
(wait_reading_process_output): Check for window changes caused by timers.
Diffstat (limited to 'src/process.c')
-rw-r--r-- | src/process.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/process.c b/src/process.c index bf974352a29..f7abc7993d3 100644 --- a/src/process.c +++ b/src/process.c @@ -4697,6 +4697,7 @@ wait_reading_process_output (time_limit, microsecs, read_kbd, do_display, { 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 @@ wait_reading_process_output (time_limit, microsecs, read_kbd, do_display, 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) |