# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 794226727 0
# Node ID 4d587fff2aa05783e7735d651428108fbbc699a2
# Parent  413d44c0bd41e4e7a69865602cbdd9dfa9767a82
(read_key_sequence): Update orig_local_map
for some additional gotos to replay_sequence.

diff -r 413d44c0bd41 -r 4d587fff2aa0 src/keyboard.c
--- a/src/keyboard.c	Fri Mar 03 10:31:49 1995 +0000
+++ b/src/keyboard.c	Fri Mar 03 10:32:07 1995 +0000
@@ -5081,6 +5081,7 @@
 		  interrupted_perdisplay->kbd_queue
 		    = Fcons (keybuf[--t], interrupted_perdisplay->kbd_queue);
 		mock_input = 0;
+		orig_local_map = get_local_map (PT, current_buffer);
 		goto replay_sequence;
 	      }
 #endif
@@ -5110,6 +5111,7 @@
 	  if (BUFFERP (key))
 	    {
 	      mock_input = t;
+	      orig_local_map = get_local_map (PT, current_buffer);
 	      goto replay_sequence;
 	    }
 
@@ -5121,6 +5123,7 @@
 	      keybuf[t++] = key;
 	      mock_input = t;
 	      Vquit_flag = Qnil;
+	      orig_local_map = get_local_map (PT, current_buffer);
 	      goto replay_sequence;
 	    }