changeset 37413:49147b9fe206

(wait_reading_process_input) [!subprocesses]: Don't reference waiting_for_user_input_p, it's not defined in the branch without async subprocesses support.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 21 Apr 2001 19:50:38 +0000
parents e8ca6335cb27
children 3796ae93b268
files src/process.c
diffstat 1 files changed, 5 insertions(+), 19 deletions(-) [+]
line wrap: on
line diff
--- a/src/process.c	Sat Apr 21 17:17:16 2001 +0000
+++ b/src/process.c	Sat Apr 21 19:50:38 2001 +0000
@@ -4916,28 +4916,14 @@
 
       /* Check for keyboard input */
 
-      if (XINT (read_kbd) != 0)
+      if ((XINT (read_kbd) != 0)
+	  && detect_input_pending_run_timers (do_display))
 	{
-	  int old_timers_run = timers_run;
-	  int leave = 0;
-	
+	  swallow_events (do_display);
 	  if (detect_input_pending_run_timers (do_display))
-	    {
-	      swallow_events (do_display);
-	      if (detect_input_pending_run_timers (do_display))
-		leave = 1;
-	    }
-
-	  /* If a timer has run, this might have changed buffers
-	     an alike.  Make read_key_sequence aware of that.  */
-	  if (timers_run != old_timers_run
-	      && waiting_for_user_input_p == -1)
-	    record_asynch_buffer_change ();
-
-	  if (leave)
 	    break;
-	}    
-      
+	}
+
       /* If there is unread keyboard input, also return.  */
       if (XINT (read_kbd) != 0
 	  && requeued_events_pending_p ())