changeset 8589:25c8d9630410

(read_char): After read_char_minibuf_menu_prompt, don't just return; jump to non_reread.
author Richard M. Stallman <rms@gnu.org>
date Tue, 23 Aug 1994 08:24:23 +0000
parents 518c4b07b0ea
children c8fc8ea87b8b
files src/keyboard.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Tue Aug 23 07:09:07 1994 +0000
+++ b/src/keyboard.c	Tue Aug 23 08:24:23 1994 +0000
@@ -1582,7 +1582,7 @@
     {
       c = read_char_minibuf_menu_prompt (commandflag, nmaps, maps);
       if (! NILP (c))
-	return c;
+	goto non_reread;
     }
 
   /* If in middle of key sequence and minibuffer not active,