# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 973009864 0
# Node ID c587b5380fe0084dce3cd96a64bd325102b009df
# Parent  ecf2e8c385f812b6d8b29d9fcd4adecfaa8980dc
(read_char) <wrong_kboard>: Make sure that we
process idle timers while waiting for another event.

diff -r ecf2e8c385f8 -r c587b5380fe0 src/keyboard.c
--- a/src/keyboard.c	Tue Oct 31 15:58:25 2000 +0000
+++ b/src/keyboard.c	Tue Oct 31 16:31:04 2000 +0000
@@ -2504,6 +2504,7 @@
       /* Actually read a character, waiting if necessary.  */
       save_getcjmp (save_jump);
       restore_getcjmp (local_getcjmp);
+      timer_start_idle ();
       c = kbd_buffer_get_event (&kb, used_mouse_menu);
       restore_getcjmp (save_jump);
 
@@ -2550,7 +2551,6 @@
  non_reread:
 
   timer_stop_idle ();
-
   start_polling ();
 
   if (NILP (c))