diff src/keyboard.c @ 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 3a9e9d3df590
children 07cc798f5cab
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,