diff options
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 5812660e85a..a48e5435837 100644 --- a/src/process.c +++ b/src/process.c | |||
| @@ -4718,6 +4718,7 @@ wait_reading_process_output (time_limit, microsecs, read_kbd, do_display, | |||
| 4718 | { | 4718 | { |
| 4719 | int old_timers_run = timers_run; | 4719 | int old_timers_run = timers_run; |
| 4720 | struct buffer *old_buffer = current_buffer; | 4720 | struct buffer *old_buffer = current_buffer; |
| 4721 | Lisp_Object old_window = selected_window; | ||
| 4721 | int leave = 0; | 4722 | int leave = 0; |
| 4722 | 4723 | ||
| 4723 | if (detect_input_pending_run_timers (do_display)) | 4724 | if (detect_input_pending_run_timers (do_display)) |
| @@ -4731,7 +4732,8 @@ wait_reading_process_output (time_limit, microsecs, read_kbd, do_display, | |||
| 4731 | an alike. Make read_key_sequence aware of that. */ | 4732 | an alike. Make read_key_sequence aware of that. */ |
| 4732 | if (timers_run != old_timers_run | 4733 | if (timers_run != old_timers_run |
| 4733 | && waiting_for_user_input_p == -1 | 4734 | && waiting_for_user_input_p == -1 |
| 4734 | && old_buffer != current_buffer) | 4735 | && (old_buffer != current_buffer |
| 4736 | || !EQ (old_window, selected_window))) | ||
| 4735 | record_asynch_buffer_change (); | 4737 | record_asynch_buffer_change (); |
| 4736 | 4738 | ||
| 4737 | if (leave) | 4739 | if (leave) |