diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:44:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:44:48 +0000 |
commit | 13f66c99a60753d34bb326c0a400b838f2d5f60c (patch) | |
tree | bb2470de2f4f6264496502d39d4130f3b110d8b2 /generic/pg-response.el | |
parent | 27b083eac1416edcc3f814695d4b3a3f5a37d588 (diff) |
Revert 8.18: font-lock-append-text-property merges faces better.
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index ec655b41..80713154 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -335,8 +335,8 @@ Returns non-nil if response buffer was cleared." ;; 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) - (add-text-properties - start (point-max) (list 'face face))) + (font-lock-append-text-property + start (point-max) 'face face)) (set-buffer-modified-p nil)))))) |