diff options
| -rw-r--r-- | generic/pg-response.el | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index b9d2e5cc..ec655b41 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -332,12 +332,11 @@ Returns non-nil if response buffer was cleared." (proof-fontify-region start (point)) - ;; This is one reason why we don't keep the buffer in font-lock - ;; minor mode: it destroys this hacky property as soon as it's - ;; made! (Using the minor mode is much more convenient, tho') + ;; Fontify message: one reason why we don't keep the buffer in + ;; font-lock minor mode is these properties would be lost. (if (and face proof-output-fontify-enable) - (font-lock-append-text-property - start (point-max) 'face face)) + (add-text-properties + start (point-max) (list 'face face))) (set-buffer-modified-p nil)))))) |