From 957dd934a9c49210f30c81807e45883c0e2ac347 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Apr 2004 17:48:41 +0000
Subject: Allow tracing slow mode to last 2 seconds.  Make message more
 understandable.

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 0364a555..b6b60b64 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1724,7 +1724,7 @@ by the filter is to send the next command from the queue."
 (defvar pg-tracing-slow-mode nil
   "Non-nil for slow refresh mode for tracing output.")
 
-(defconst pg-slow-mode-duration 1
+(defconst pg-slow-mode-duration 2
   "Maximum duration of slow mode in seconds.")
 
 (defconst pg-fast-tracing-mode-threshold 50000
@@ -1767,7 +1767,7 @@ Only works when system timer has microsecond count available."
 	  ;; quickly consecutive and large tracing outputs: go into slow mode
 	  (progn
 	    (setq pg-tracing-slow-mode t)
-	    (message "Fast tracing output: playing slow catch-up")
+	    (message "Fast tracing output: fontifying output intermittently")
 	    (setq pg-tracing-cleanup-timer
 		  (run-with-idle-timer 2 nil 'pg-finish-tracing-display))
 	    t)
-- 
cgit v1.2.3