# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1023823780 0
# Node ID 7318ee0c97724e17251f74a034b2ed184728ffa3
# Parent  73b33fa2ec78514911778479ce8583393a654588
(readable_events): Ignore any number of
FOCUS_IN_EVENT events and return 0 if nothing else in buffer.

diff -r 73b33fa2ec78 -r 7318ee0c9772 src/keyboard.c
--- a/src/keyboard.c	Tue Jun 11 19:28:20 2002 +0000
+++ b/src/keyboard.c	Tue Jun 11 19:29:40 2002 +0000
@@ -3259,8 +3259,27 @@
   if (do_timers_now)
     timer_check (do_timers_now);
 
+  /* If the buffer contains only FOCUS_IN_EVENT events,
+     report it as empty.  */
   if (kbd_fetch_ptr != kbd_store_ptr)
-    return 1;
+    {
+      struct input_event *event;
+
+      event = ((kbd_fetch_ptr < kbd_buffer + KBD_BUFFER_SIZE)
+	       ? kbd_fetch_ptr
+	       : kbd_buffer);
+
+      while (event->kind == FOCUS_IN_EVENT)
+	{
+	  event++;
+	  if (event == kbd_buffer + KBD_BUFFER_SIZE)
+	    event = kbd_buffer;
+	  if (event == kbd_store_ptr)
+	    return 0;
+	}
+      return 1;
+    }
+
 #ifdef HAVE_MOUSE
   if (!NILP (do_mouse_tracking) && some_mouse_moved ())
     return 1;