Add C-g watcher for trace buffer

1 files changed, 1 insertions, 1 deletions

diff --git a/generic/pg-response.el b/generic/pg-response.el
index c8da307e..c0f743df 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -482,7 +482,7 @@ We fontify the output only if we're not too busy to do so."
 (defun proof-trace-buffer-finish ()
   "Complete fontification in tracing buffer now that there's time to do so."
   (let ((fontifystart (proof-trace-fontify-pos)))
-    (if fontifystart ;; may be done already
+    (if (and fontifystart (not quit-flag));; may be done already/user desparately trying to avoid
 	(save-excursion
 	   (set-buffer proof-trace-buffer)
 	   (proof-fontify-region fontifystart (point-max))))))