comparison src/process.c @ 37465:f790d83ea743

(wait_reading_process_input): Call record_asynch_buffer_change only if a timer really changed buffers.

37464:d0e1a8c0aa8c

	  EMACS_TIME timer_delay;

	  do
	    {
	      int old_timers_run = timers_run;
	      
	      timer_delay = timer_check (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 (timers_run != old_timers_run && do_display)
		/* We must retry, since a timer may have requeued itself

	 to give it higher priority than subprocesses */

      if (XINT (read_kbd) != 0)
	{
	  int old_timers_run = timers_run;
	  int leave = 0;
	
	  if (detect_input_pending_run_timers (do_display))
	    {
	      swallow_events (do_display);

	    }

	  /* 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;
	}    

37465:f790d83ea743

	  EMACS_TIME timer_delay;

	  do
	    {
	      int old_timers_run = timers_run;
	      struct buffer *old_buffer = current_buffer;
	      
	      timer_delay = timer_check (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
		  && old_buffer != current_buffer
		  && waiting_for_user_input_p == -1)
		record_asynch_buffer_change ();
	      
	      if (timers_run != old_timers_run && do_display)
		/* We must retry, since a timer may have requeued itself

	 to give it higher priority than subprocesses */

      if (XINT (read_kbd) != 0)
	{
	  int old_timers_run = timers_run;
	  struct buffer *old_buffer = current_buffer;
	  int leave = 0;
	
	  if (detect_input_pending_run_timers (do_display))
	    {
	      swallow_events (do_display);

	    }

	  /* 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
	      && old_buffer != current_buffer)
	    record_asynch_buffer_change ();

	  if (leave)
	    break;
	}