From 420b8d775d73650b29234a5f8c2c26ddb66c1c34 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2002 18:37:11 +0000
Subject: Also put trace buffer in x sym mode

---
 generic/proof-x-symbol.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 21876ad7..e84ababd 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -201,7 +201,9 @@ A subroutine of proof-x-symbol-enable."
   ;; Response and goals buffer are fontified/decoded 
   ;; manually in the code, configuration only sets
   ;; x-symbol-language.
-  (proof-map-buffers (list proof-goals-buffer proof-response-buffer)
+  (proof-map-buffers (list proof-goals-buffer 
+			   proof-response-buffer
+			   proof-trace-buffer)
    (proof-x-symbol-configure))
   ;; Shell has its own configuration
   (proof-with-current-buffer-if-exists proof-shell-buffer
-- 
cgit v1.2.3