# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 867658969 0
# Node ID 37f4c7aeb5a8fd66e13a33793c77cfbb34e6de06
# Parent  2240a2e37b12c4561c7ba3838d8f571add2d6b1d
(read_char): Add a call to swallow_events
when deciding whether to redisplay.
(swallow_events): Add forward declaration.

diff -r 2240a2e37b12 -r 37f4c7aeb5a8 src/keyboard.c
--- a/src/keyboard.c	Mon Jun 30 06:13:58 1997 +0000
+++ b/src/keyboard.c	Mon Jun 30 08:22:49 1997 +0000
@@ -482,6 +482,8 @@
 
 static void record_menu_key ();
 
+void swallow_events ();
+
 Lisp_Object Qpolling_period;
 
 /* List of absolute timers.  Appears in order of next scheduled event.  */
@@ -1787,9 +1789,15 @@
       goto reread_first;
     }
 
-  if (commandflag >= 0 && !input_pending
-      && !detect_input_pending_run_timers (0))
-    redisplay ();
+  if (commandflag >= 0)
+    {
+      if (input_pending
+	  || detect_input_pending_run_timers (0))
+	swallow_events (0);
+
+      if (!input_pending)
+	redisplay ();
+    }
 
   /* Message turns off echoing unless more keystrokes turn it on again. */
   if (echo_area_glyphs && *echo_area_glyphs