diff configure @ 46109:60d71404b887

(timer_last_idleness_start_time): New variable. (timer_start_idle): Set that. (read_key_sequence): Use that to reset timer_idleness_start_time to previous value.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jul 2002 08:04:04 +0000
parents 3a6f0c639247
children 5502ee23a19b
line wrap: on
line diff