diff configure @ 72131:3cc6bfe3a15d

* keyboard.c (read_char): New arg END_TIME specifying timeout. All callers changed. Turn off echoing if END_TIME is non-NULL. (kbd_buffer_get_event): New arg END_TIME.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 26 Jul 2006 18:13:33 +0000
parents 4cf82eeaf30f
children 85a9d581baa6 02e39decdc84 8a8e69664178
line wrap: on
line diff