diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-20 21:43:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-20 21:43:31 +0000 |
| commit | 342d06d05590372ccfecd1076e207ba95b058141 (patch) | |
| tree | f1429ed1eb6e618ce2cf66859390a2bbbb107abb /generic/proof-unicode-tokens.el | |
| parent | 9ec336e85971edb8890a6ff03aa5efba6c17a635 (diff) | |
proof-unicode-tokens-enable: autoload so turning on Unicode tokens works
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 270309ed..3f9f0199 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -77,6 +77,8 @@ Turn on/off menu in all script buffers and ensure new buffers follow suit." (unicode-tokens-mode (if flag 1 0))) (proof-unicode-tokens-configure-prover)) + +;;;###autoload (defun proof-unicode-tokens-enable () "Turn on or off Unicode tokens mode in Proof General script buffer. This invokes `unicode-tokens-mode' to toggle the setting for the current |