From 2b30ea500ee9e6fc3ed4d26d7c2efbc33733378e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Feb 2008 23:37:36 +0000
Subject: proof-unicode-tokens-set-global: call proof-unicode-tokens-init.

---
 generic/proof-unicode-tokens.el | 31 ++++++++++++++++---------------
 1 file changed, 16 insertions(+), 15 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 50cef1c2..14f0cf52 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -39,21 +39,6 @@
   (unicode-tokens-initialise)
   (setq proof-unicode-tokens-initialised t))
   
-;;;###autoload
-(defun proof-unicode-tokens-set-global (flag)
-  "Set global status of unicode tokens mode for PG buffers to be FLAG.
-Turn on/off menu in all script buffers and ensure new buffers follow suit."
-  (let ((hook (proof-ass-sym mode-hook)))
-    (if flag
-	(add-hook hook 'unicode-tokens-mode)
-      (remove-hook hook 'unicode-tokens-mode))
-    (proof-map-buffers 
-      (proof-buffers-in-mode proof-mode-for-script)
-      (unicode-tokens-mode (if flag 1 0)))
-    (proof-unicode-tokens-shell-config)))
-
-  
-  
 ;;;###autoload
 (defun proof-unicode-tokens-enable ()
   "Turn on or off Unicode tokens mode in Proof General script buffer.
@@ -68,6 +53,22 @@ in future if we have just activated it for this buffer."
     (proof-unicode-tokens-set-global (not unicode-tokens-mode))))
 
 
+;;;###autoload
+(defun proof-unicode-tokens-set-global (flag)
+  "Set global status of unicode tokens mode for PG buffers to be FLAG.
+Turn on/off menu in all script buffers and ensure new buffers follow suit."
+  (unless proof-unicode-tokens-initialised 
+      (proof-unicode-tokens-init))
+  (let ((hook (proof-ass-sym mode-hook)))
+    (if flag
+	(add-hook hook 'unicode-tokens-mode)
+      (remove-hook hook 'unicode-tokens-mode))
+    (proof-map-buffers 
+      (proof-buffers-in-mode proof-mode-for-script)
+      (unicode-tokens-mode (if flag 1 0)))
+    (proof-unicode-tokens-shell-config)))
+
+  
 ;;;
 ;;; Interface to custom to dynamically change tables (via proof-set-value)
 ;;;
-- 
cgit v1.2.3