diff src/process.c @ 35336:002c02db42d3

Call redisplay_preserve_echo_area with additional arg.

--- a/src/process.c	Tue Jan 16 12:38:28 2001 +0000
+++ b/src/process.c	Tue Jan 16 12:42:22 2001 +0000
@@ -2444,7 +2444,7 @@
 	      if (timers_run != old_timers_run && do_display)
 		/* We must retry, since a timer may have requeued itself
 		   and that could alter the time_delay.  */
-		redisplay_preserve_echo_area ();
+		redisplay_preserve_echo_area (9);
 	      else
 		break;
 	    }
@@ -2537,7 +2537,7 @@
 #endif
 	    }
 	  if (total_nread > 0 && do_display)
-	    redisplay_preserve_echo_area ();
+	    redisplay_preserve_echo_area (10);
 
 	  break;
 	}
@@ -2559,7 +2559,7 @@
       if (frame_garbaged && do_display)
 	{
 	  clear_waiting_for_input ();
-	  redisplay_preserve_echo_area ();
+	  redisplay_preserve_echo_area (11);
 	  if (XINT (read_kbd) < 0)
 	    set_waiting_for_input (&timeout);
 	}
@@ -2742,7 +2742,7 @@
 		  FD_ZERO (&Available);
 
 		  if (do_display)
-		    redisplay_preserve_echo_area ();
+		    redisplay_preserve_echo_area (12);
 		}
 #ifdef EWOULDBLOCK
 	      else if (nread == -1 && errno == EWOULDBLOCK)
@@ -4454,7 +4454,7 @@
     } /* end for */
 
   update_mode_lines++;  /* in case buffers use %s in mode-line-format */
-  redisplay_preserve_echo_area ();
+  redisplay_preserve_echo_area (13);
 
   UNGCPRO;
 }
@@ -4794,7 +4794,7 @@
 	      if (timers_run != old_timers_run && do_display)
 		/* We must retry, since a timer may have requeued itself
 		   and that could alter the time delay.  */
-		redisplay_preserve_echo_area ();
+		redisplay_preserve_echo_area (14);
 	      else
 		break;
 	    }
@@ -4834,7 +4834,7 @@
       if (frame_garbaged && do_display)
 	{
 	  clear_waiting_for_input ();
-	  redisplay_preserve_echo_area ();
+	  redisplay_preserve_echo_area (15);
 	  if (XINT (read_kbd) < 0)
 	    set_waiting_for_input (&timeout);
 	}