# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1174155981 0
# Node ID 761ce1f9a01262f90889756a01bb5246b74f0e93
# Parent  f0a25b5d3ba087807eee5fd0cc3fe56f78ca10d0
(read_key_sequence): Store original event into keybuf when replaying
sequence with local keymap(s) from string.

diff -r f0a25b5d3ba0 -r 761ce1f9a012 src/keyboard.c
--- a/src/keyboard.c	Sat Mar 17 18:24:46 2007 +0000
+++ b/src/keyboard.c	Sat Mar 17 18:26:21 2007 +0000
@@ -9403,6 +9403,8 @@
 		      if (!NILP (map) || !NILP (map2))
 			{
 			  from_string = string;
+			  keybuf[t++] = key;
+			  mock_input = t;
 			  goto replay_sequence;
 			}
 		    }