diff src/.gdbinit @ 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 562b7f0c2fe8
children 00776be18466 a387c138b28e 138ce2701550
line wrap: on
line diff