diff options
-rw-r--r-- | generic/pg-response.el | 2 |
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)))))) |