From 53833cb27c7ddf8888cfbb74c38d7d85a8fdb3fa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 12:17:54 +0000
Subject: Fix clash with X-Symbol resulting in enabling then disabling symbols

---
 generic/proof-unicode-tokens.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 14f0cf52..d8a68e88 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -99,6 +99,7 @@ Updates the input mapping for reading shortcuts."
 ;;; Interface to shell
 ;;;
 
+
 (defun proof-unicode-tokens-activate-prover ()
   (when (and proof-xsym-activate-command 
 	     (proof-shell-live-buffer)
@@ -108,6 +109,8 @@ Updates the input mapping for reading shortcuts."
 
 (defun proof-unicode-tokens-deactivate-prover ()
   (when (and proof-xsym-deactivate-command 
+	     ;; NB: clash with X-symbols since use same commands in prover!
+	     (not (proof-ass x-symbol-enable))
 	     (proof-shell-live-buffer)
 	     (proof-shell-available-p))
     (proof-shell-invisible-command-invisible-result
-- 
cgit v1.2.3