comparison src/xdisp.c @ 30721:43684600b975

(echo_area_display): Display thoroughly if input is pending. Bind redisplay-dont-pause to t during the redisplay. in case input is pending.

30720:64f3338f72d8

      window_height_changed_p = display_echo_area (w);
      w->must_be_updated_p = 1;

      if (update_frame_p)
	{
	  /* Not called from redisplay_internal.  If we changed
	     window configuration, we must redisplay thoroughly.
	     Otherwise, we can do with updating what we displayed
	     above.  */
	  if (window_height_changed_p)
	    {
	      ++windows_or_buffers_changed;
	      ++update_mode_lines;
	      redisplay_internal (0);
	    }
	  else if (FRAME_WINDOW_P (f))
	    {
	      update_single_window (w, 1);
	      rif->flush_display (f);

30721:43684600b975

      window_height_changed_p = display_echo_area (w);
      w->must_be_updated_p = 1;

      if (update_frame_p)
	{
	  /* Not called from redisplay_internal.  If we changed window
	     configuration, we must redisplay thoroughly, of course.
	     
	     Likewise if input is pending, because the pending input
	     can have interrupted a previous redisplay, or redisplay
	     wasn't called because of the pending input (see
	     keyboard.c).  In both cases, we would display the message
	     fine, but the rest of the display would be garbage.

	     Otherwise, we can do with updating just what we displayed
	     above.  */

	  if (window_height_changed_p || detect_input_pending ())
	    {
	      int count = specpdl_ptr - specpdl;
	      
	      specbind (Qredisplay_dont_pause, Qt);
	      ++windows_or_buffers_changed;
	      ++update_mode_lines;
	      redisplay_internal (0);
	      unbind_to (count, Qnil);
	    }
	  else if (FRAME_WINDOW_P (f))
	    {
	      update_single_window (w, 1);
	      rif->flush_display (f);