diff config.bat @ 38195:7255d1f70b82

(read_char) <non_reread>: Record the previous idle start time before calling timer_stop_idle. (read_char) <reread_first>: After processing a help-echo event, restore the previous idle start time.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Jun 2001 12:30:59 +0000
parents 6fd0d497fc9c
children 0c8e49f72976
line wrap: on
line diff