8375 |
keymap may have changed, so replay the sequence. */ |
keymap may have changed, so replay the sequence. */ |
8376 |
if (BUFFERP (key)) |
if (BUFFERP (key)) |
8377 |
{ |
{ |
8378 |
EMACS_TIME initial_idleness_start_time |
EMACS_TIME initial_idleness_start_time; |
8379 |
= timer_last_idleness_start_time; |
EMACS_SET_SECS_USECS (initial_idleness_start_time, |
8380 |
|
EMACS_SECS (timer_last_idleness_start_time), |
8381 |
|
EMACS_USECS (timer_last_idleness_start_time)); |
8382 |
|
|
8383 |
/* Resume idle state, using the same start-time as before. */ |
/* Resume idle state, using the same start-time as before. */ |
8384 |
timer_start_idle (); |
timer_start_idle (); |