diff oldXMenu/X10.h @ 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 e8a3fb527b77
children ce127a46b1ca d04d8ccb3c41 c5406394f567
line wrap: on
line diff