diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-04-25 15:12:49 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-04-25 15:12:49 +0000 |
| commit | c88164fe6b832249d756929837acf949de6f8a8c (patch) | |
| tree | b6ffd023a101a75beb33abab11473d54ad670ebd /src/process.c | |
| parent | bfd8410fc2e9901716ce0a772f8a455afe8f8e21 (diff) | |
| download | emacs-c88164fe6b832249d756929837acf949de6f8a8c.tar.gz | |
(wait_reading_process_input): Call
record_asynch_buffer_change only if a timer really changed
buffers.
Diffstat (limited to 'src/process.c')
| -rw-r--r-- | src/process.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/process.c b/src/process.c index 15fc26c6634..20edc9d85aa 100644 --- a/src/process.c +++ b/src/process.c @@ -2453,12 +2453,14 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display) do { int old_timers_run = timers_run; + struct buffer *old_buffer = current_buffer; timer_delay = timer_check (1); /* If a timer has run, this might have changed buffers an alike. Make read_key_sequence aware of that. */ if (timers_run != old_timers_run + && old_buffer != current_buffer && waiting_for_user_input_p == -1) record_asynch_buffer_change (); @@ -2678,6 +2680,7 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display) if (XINT (read_kbd) != 0) { int old_timers_run = timers_run; + struct buffer *old_buffer = current_buffer; int leave = 0; if (detect_input_pending_run_timers (do_display)) @@ -2690,7 +2693,8 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display) /* If a timer has run, this might have changed buffers an alike. Make read_key_sequence aware of that. */ if (timers_run != old_timers_run - && waiting_for_user_input_p == -1) + && waiting_for_user_input_p == -1 + && old_buffer != current_buffer) record_asynch_buffer_change (); if (leave) |