diff options
| -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 |