From 342d06d05590372ccfecd1076e207ba95b058141 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 20 Sep 2009 21:43:31 +0000 Subject: proof-unicode-tokens-enable: autoload so turning on Unicode tokens works --- generic/proof-unicode-tokens.el | 2 ++ 1 file changed, 2 insertions(+) (limited to 'generic/proof-unicode-tokens.el') 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 -- cgit v1.2.3