changeset 33104:c587b5380fe0

(read_char) <wrong_kboard>: Make sure that we process idle timers while waiting for another event.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 31 Oct 2000 16:31:04 +0000
parents ecf2e8c385f8
children dd4bceb945d3
files src/keyboard.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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))