diff options
| author | David Aspinall | 2004-06-24 17:24:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-24 17:24:03 +0000 |
| commit | 0b30d13a69590d399aa1a32bc4abab4fa4cc8326 (patch) | |
| tree | 918f1165889f2c3bd1981abcc62f5f9fcdc844d1 /generic/proof-shell.el | |
| parent | 49dcb89c45fbbfcfa678e73b6961a2eb894aba05 (diff) | |
Improve handling of intermittent fontification for trace buffers.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index d1190b96..c171c1ca 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1176,6 +1176,9 @@ The return value is non-nil if the action list is now empty." ;; give a hint to the user in case we've finished ;; a batch of input (pg-processing-complete-hint) + ;; complete the tracing buffer display in case + ;; we need to catch up. + (pg-finish-tracing-display) ;; indicate finished t) ;; Otherwise, send the next command to the process. @@ -1776,7 +1779,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: fontifying output intermittently") + (pg-slow-fontify-tracing-hint) (setq pg-tracing-cleanup-timer (run-with-idle-timer 2 nil 'pg-finish-tracing-display)) t) @@ -1786,8 +1789,10 @@ Only works when system timer has microsecond count available." (defun pg-finish-tracing-display () "Cancel tracing slow mode and ensure tracing buffer is fontified." - (setq pg-tracing-slow-mode nil) - (proof-trace-buffer-display "")) + (if pg-tracing-slow-mode + (progn + (setq pg-tracing-slow-mode nil) + (proof-trace-buffer-finish)))) |