# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 846955255 0
# Node ID 76d22a4f69595859249e68bed11447b3ed79e551
# Parent  ca9889de9c162c56e3a9d7c7835af28fb3157702
(command_loop_1): Update selected buffer again after read_key_sequence.

diff -r ca9889de9c16 -r 76d22a4f6959 src/keyboard.c
--- a/src/keyboard.c	Sat Nov 02 17:11:47 1996 +0000
+++ b/src/keyboard.c	Sat Nov 02 17:20:55 1996 +0000
@@ -1179,6 +1179,10 @@
       i = read_key_sequence (keybuf, sizeof keybuf / sizeof keybuf[0],
 			     Qnil, 0, 1);
 
+      /* A filter may have run while we were reading the input.  */
+      if (XBUFFER (XWINDOW (selected_window)->buffer) != current_buffer)
+	set_buffer_internal (XBUFFER (XWINDOW (selected_window)->buffer));
+
       ++num_input_keys;
 
       /* Now we have read a key sequence of length I,