From b0f6fe9f657a158c094993ae6c27384a76a9b689 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 3 Aug 2008 20:54:02 +0000
Subject: pg-response-display: disable subterm markup removal

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

(limited to 'generic')

diff --git a/generic/pg-response.el b/generic/pg-response.el
index c3809974..bb43250a 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -242,9 +242,11 @@ Returns non-nil if response buffer was cleared."
 
 (defun pg-response-display (str)
   "Show STR as a response in the response buffer."
-  (unless (or proof-shell-unicode
-	      pg-use-specials-for-fontify)
-    (setq str (pg-assoc-strip-subterm-markup str)))
+  ;; FIXME removed for PG 4.0:
+  ;; (unless (or proof-shell-unicode
+  ;;    pg-use-specials-for-fontify)
+  ;; (setq str (pg-assoc-strip-subterm-markup str)))
+
   (pg-response-maybe-erase t nil)
   ;;(unless (or (string-equal str "") (string-equal str "\n"))
     ;; don't display an empty buffer [ NB: above test repeated below,
-- 
cgit v1.2.3