diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-12 19:56:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-12 19:56:31 +0000 |
commit | 2a9d7ed6a2ea4ba9dc35331d3ad0eb8298f0383c (patch) | |
tree | 3bce0cb723a66e1e6b86a15adff74b5355f6effc /generic/proof-unicode-tokens.el | |
parent | 92daa2330135394afcd6ec6836248b105fc16644 (diff) |
Add indirection for setting unicode tokens variables to add customize menu options
Diffstat (limited to 'generic/proof-unicode-tokens.el')
-rw-r--r-- | generic/proof-unicode-tokens.el | 11 |
1 files changed, 5 insertions, 6 deletions
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)) |