diff options
Diffstat (limited to 'generic/proof-unicode-tokens.el')
-rw-r--r-- | generic/proof-unicode-tokens.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 2c5bf723..70c6ea51 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -92,6 +92,8 @@ in future if we have just activated it for this buffer." (proof-shell-invisible-command-invisible-result proof-xsym-deactivate-command))) +;;; NB: we shouldn't bother load this if it's not enabled. +;;;###autoload (defun proof-unicode-tokens-shell-config () (when (proof-ass unicode-tokens-enable) (add-hook 'proof-shell-insert-hook |