From 40011e8fc1d6eafcc7dc9b1c43e22afbaeb98d6f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Nov 2012 13:43:39 +0000
Subject: Doc for pg-finish-tracing-display

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f64b110e..2e44c3cc 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1614,6 +1614,8 @@ Only works when system timer has microsecond count available."
     (setq pg-tracing-slow-mode dontprint)))
 
 (defun pg-finish-tracing-display ()
+  "Handle the end of possibly voluminous tracing-style output.
+If the output update was slowed down, show it now."
   (proof-trace-buffer-finish)
   (when pg-tracing-slow-mode 
     (proof-display-and-keep-buffer proof-trace-buffer)
-- 
cgit v1.2.3