From c7827c3cf1dc85adc8bc06eb25f0fbd15f0a27ad Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2006 13:17:30 +0000
Subject: Add C-g watcher for trace buffer

---
 generic/pg-response.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))))))
-- 
cgit v1.2.3