# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 989933865 0
# Node ID c3dd00963b4623e804e9fd873cedd0b601219dc0
# Parent  7b449aec29d2a36a3efc57aa18940e8836fdae9b
(read_key_sequence): Prevent generating a fake
prefix key twice.

diff -r 7b449aec29d2 -r c3dd00963b46 src/keyboard.c
--- a/src/keyboard.c	Tue May 15 13:16:59 2001 +0000
+++ b/src/keyboard.c	Tue May 15 13:37:45 2001 +0000
@@ -8221,10 +8221,12 @@
 	      window = POSN_WINDOW      (EVENT_START (key));
 	      posn   = POSN_BUFFER_POSN (EVENT_START (key));
 
-	      if (CONSP (posn))
+	      if (CONSP (posn)
+		  || (!NILP (fake_prefixed_keys)
+		      && !NILP (Fmemq (key, fake_prefixed_keys))))
 		{
-		  /* We're looking at the second event of a
-		     sequence which we expanded before.  Set
+		  /* We're looking a second time at an event for which
+		     we generated a fake prefix key.  Set
 		     last_real_key_start appropriately.  */
 		  if (t > 0)
 		    last_real_key_start = t - 1;