From 833f4a83100a5245b16f2d6121b49c81a8512fdf Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Wed, 20 Oct 2004 13:15:14 +0000
Subject: added proof-x-symbol-set-language for script buffer

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

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index f9ad173d..3294b6a8 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -187,6 +187,13 @@ in future if we have just activated it for this buffer."
 	(set (proof-ass-sym x-symbol-enable) nil) ; assume failure!
 	(proof-x-symbol-initialize 'giveerrors)
 	(set (proof-ass-sym x-symbol-enable) t)))
+
+;; C RAFFALLI: we need to set x-symbol-language even for the script buffer
+;; and I think this is a good place ... may be a variable should control
+;; an option to have x-symbol only in the output buffer but not in the script
+;; buffer ?
+  (proof-x-symbol-set-language)
+
   (x-symbol-mode)
   (proof-x-symbol-mode-associated-buffers))
 
-- 
cgit v1.2.3