From 2a9d7ed6a2ea4ba9dc35331d3ad0eb8298f0383c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Aug 2009 19:56:31 +0000
Subject: Add indirection for setting unicode tokens variables to add customize
 menu options

---
 generic/proof-unicode-tokens.el | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index b636eaa5..414d580c 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -45,12 +45,11 @@
 (defun proof-unicode-tokens-configure ()
   "Set the Unicode Tokens table from prover instances and initialise."
   (require 'unicode-tokens) ; load now, for unicode-tokens-configuration-variables
-  (mapcar
-   (lambda (var) ;; or defass?
-     (if (boundp (proof-ass-symv var))
-	 (set (intern (concat "unicode-tokens-" (symbol-name var)))
-	      (eval `(proof-ass ,var)))))
-   unicode-tokens-configuration-variables)
+  (dolist (var unicode-tokens-configuration-variables)
+    (if (boundp (proof-ass-symv var))
+	(set (intern (concat "unicode-tokens-" (symbol-name var)
+			     "-variable"))
+	     (proof-ass-symv var))))
   (unicode-tokens-initialise))
 
   
-- 
cgit v1.2.3