# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1021906197 0
# Node ID 0b87d5e1301a1110187e15c111fec9d73d4979e8
# Parent  8a2b953f3d6cbb3e5249645688ba8e88028f3677
(read_char_minibuf_menu_prompt): Don't list equivalent key bindings here.

diff -r 8a2b953f3d6c -r 0b87d5e1301a src/keyboard.c
--- a/src/keyboard.c	Mon May 20 14:13:11 2002 +0000
+++ b/src/keyboard.c	Mon May 20 14:49:57 2002 +0000
@@ -7727,12 +7727,14 @@
 		  if (! char_matches)
 		    desc = Fsingle_key_description (event, Qnil);
 
+#if 0  /* It is redundant to list the equivalent key bindings because
+	  the prefix is what the user has already typed.  */
 		  tem
 		    = XVECTOR (item_properties)->contents[ITEM_PROPERTY_KEYEQ];
 		  if (!NILP (tem))
 		    /* Insert equivalent keybinding. */
 		    s = concat2 (s, tem);
-
+#endif
 		  tem
 		    = XVECTOR (item_properties)->contents[ITEM_PROPERTY_TYPE];
 		  if (EQ (tem, QCradio) || EQ (tem, QCtoggle))