From 7c2271b7ddd01b33bf7201330a8d65f544560070 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2001 19:20:10 +0000
Subject: Add handling of proof-trace-buffer.

---
 generic/proof-utils.el | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index eea38ce0..a9197dcd 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -418,6 +418,18 @@ Returns new END value."
       ;; (buffer-substring start (point-max))
       ))))
 
+;; An analogue of proof-response-buffer-display 
+(defun proof-trace-buffer-display (str)
+  "Display STR in the trace buffer."
+  (let (start end)
+    (with-current-buffer proof-trace-buffer
+      (goto-char (point-max))
+      (newline)				
+      (setq start (point))
+      (insert str)
+      (unless (bolp) (newline))
+      (proof-fontify-region start (point)))))
+
 (defun proof-display-and-keep-buffer (buffer &optional pos)
   "Display BUFFER and mark window according to `proof-dont-switch-windows'.
 If optional POS is present, will set point to POS.  
-- 
cgit v1.2.3