diff INSTALL @ 5889:06bbb0e856d7

(read_char, read_char_minibuf_menu_prompt, read_key_sequence): Retry read_char after a buffer change.
author Karl Heuer <kwzh@gnu.org>
date Fri, 11 Feb 1994 01:34:16 +0000
parents 8788744c0c64
children e9768f0d0653
line wrap: on
line diff