From 802fe6389307a2a7a69786d95abb2a7fd72a3595 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 09:35:07 +0000
Subject: Fix behaviour of proof-x-symbol-enable to follow customize setting.

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

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 8c9df4f0..17167d6e 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -163,20 +163,18 @@ The package is available at http://x-symbol.sourceforge.net/"))
 ;;;###autoload
 (defun proof-x-symbol-enable ()
   "Turn on or off X-Symbol in current Proof General script buffer.
-This invokes `x-symbol-mode' to toggle the setting for the current
-buffer, and then sets PG's option for default to match.
-Also we arrange to have X-Symbol mode turn itself on automatically 
-in future if we have just activated it for this buffer."
+This invokes `x-symbol-mode' to change the setting for the current
+buffer. "
   (when (proof-ass x-symbol-enable)
     (unless proof-x-symbol-initialized ;; Check inited
       (set (proof-ass-sym x-symbol-enable) nil) ; assume failure!
       (proof-x-symbol-initialize 'giveerrors)
-      (set (proof-ass-sym x-symbol-enable) t))
+      (set (proof-ass-sym x-symbol-enable) t)))
     
-    (when (and proof-x-symbol-initialized
-	       (fboundp 'x-symbol-mode))
-      (x-symbol-mode)
-      (proof-x-symbol-mode-associated-buffers))))
+  (when (and proof-x-symbol-initialized
+	     (fboundp 'x-symbol-mode))
+    (x-symbol-mode (if (proof-ass x-symbol-enable) 1 0))
+    (proof-x-symbol-mode-associated-buffers)))
   
 ;; Old behaviour for proof-x-symbol-enable was to update state in all
 ;; buffers --- but this can take ages if there are many buffers!  
-- 
cgit v1.2.3