diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:54:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:54:02 +0000 |
commit | b0f6fe9f657a158c094993ae6c27384a76a9b689 (patch) | |
tree | 76ad6e0f9b7fdffff9d462a138d27caefe3c7867 /generic/pg-response.el | |
parent | 9cb55da4fba48b7ae1e3b03130d64208cfe5f0e9 (diff) |
pg-response-display: disable subterm markup removal
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 8 |
1 files changed, 5 insertions, 3 deletions
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, |