(read_char, read_char_minibuf_menu_prompt, read_key_sequence): Retry read_char
authorKarl Heuer <kwzh@gnu.org>
Fri, 11 Feb 1994 01:34:16 +0000 (01:34 +0000)
committerKarl Heuer <kwzh@gnu.org>
Fri, 11 Feb 1994 01:34:16 +0000 (01:34 +0000)
commit3cb8101157d70088bbc7e30fe1f270485b7da659
tree11114388defe8a50e28db427c6c9f599a12c1301
parent6c82d689cf98eff0b9456ca89b54973686431709
(read_char, read_char_minibuf_menu_prompt, read_key_sequence): Retry read_char
after a buffer change.
src/keyboard.c