-
Richard M. Stallman authored
(timer_start_idle): Set that. (read_key_sequence): Use that to reset timer_idleness_start_time to previous value.
3021d3a9
(timer_start_idle): Set that. (read_key_sequence): Use that to reset timer_idleness_start_time to previous value.