diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:48:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:48:22 +0000 |
| commit | 137c5d5a48adb4fd5cf0632415d15fac23b0352a (patch) | |
| tree | b32f396266ebf8c6fff95bb7f47d53adc318c70f /generic | |
| parent | a3850155fc8a2932a326b8bf13d3e81e68806a07 (diff) | |
Symmetric change for #201
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-x-symbol.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 17167d6e..2fdc0f83 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -294,6 +294,8 @@ Assumes that the current buffer is the proof shell buffer." 'proof-x-symbol-encode-shell-input)) ((not (proof-ass x-symbol-enable)) (if (and proof-xsym-deactivate-command + ;; NB: overlap with unicode tokens: don't disable that + (not (proof-ass unicode-tokens-enable)) (proof-shell-live-buffer)) (proof-shell-invisible-command-invisible-result proof-xsym-deactivate-command)) |