From 9b41ff4e90a0303d9caf6e7e2f951a5046ce2d13 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 28 Apr 2019 12:04:54 -0700
Subject: Highlight diffs in goals and some error messages using Coq's proof
 diffs feature.

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

(limited to 'generic/pg-response.el')

diff --git a/generic/pg-response.el b/generic/pg-response.el
index 650e83a0..5fadca99 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -30,6 +30,7 @@
 
 (require 'pg-assoc)
 (require 'span)
+(require 'coq-diffs)
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@@ -409,7 +410,9 @@ Returns non-nil if response buffer was cleared."
                     (eq (point-min) (point-max)))
           (newline))
         (setq start (point))
-        (insert str)
+        (if face
+          (insert str)
+          (coq-insert-tagged-text str))
         (unless (bolp) (newline))
         (when face
           (overlay-put
-- 
cgit v1.2.3