From a7d81a3e024a05a45fd55a385e27bf003de245f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 18:48:11 +0000
Subject: pg-response-display: use add-text-properties instead of
 font-lock-append-text-property [no behaviour change]

---
 generic/pg-response.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'generic')

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