diff options
| author | David Aspinall | 2008-01-28 15:15:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-28 15:15:29 +0000 |
| commit | 9f7bb2fc83592e20d702c9103e7131195b7dbfcf (patch) | |
| tree | 8a8006a03aad0f7bdcb0407868306d2255f53714 /generic/proof-unicode-tokens.el | |
| parent | c6408720e79c5e7e6240e4504ab17a39ed926050 (diff) | |
Add autoload for proof-unicode-tokens-shell-config
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 |