diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:17:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:17:54 +0000 |
commit | 53833cb27c7ddf8888cfbb74c38d7d85a8fdb3fa (patch) | |
tree | cafc60db8869e8f29b4c3a707a63e7b5493f8d5f /generic | |
parent | de87bc619ce0aa53922119a5b8c316dc95d10d97 (diff) |
Fix clash with X-Symbol resulting in enabling then disabling symbols
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-unicode-tokens.el | 3 |
1 files changed, 3 insertions, 0 deletions
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 |