diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-27 17:48:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-27 17:48:41 +0000 |
| commit | 957dd934a9c49210f30c81807e45883c0e2ac347 (patch) | |
| tree | b8185bef486284aafa790db610d34b084ee040ba /generic | |
| parent | 1528843b7d9c3d2f8234651ab8d94dd8a0148712 (diff) | |
Allow tracing slow mode to last 2 seconds. Make message more understandable.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
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) |