From 96d6ec3c75418bce0c1de8346a067ed2dacabf73 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 19:45:35 +0000 Subject: Require unicode-tokens during compile. --- isar/isar-unicode-tokens.el | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'isar/isar-unicode-tokens.el') diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 7ecc08ef..c1e7f3aa 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -11,6 +11,12 @@ ;; variable for documentation. ;; + +(require 'cl) ; for-loop + +(eval-when (compile) + (require 'unicode-tokens)) ; it's loaded dynamically at runtime + (require 'proof-unicode-tokens) ;; @@ -623,9 +629,9 @@ See `unicode-tokens-shortcut-alist'." (cons (concat "\\" (car tokentry)) (format isar-token-format (car tokentry)))) (append isar-greek-letters-tokens - isar-symbols-tokens)))) - ;; copy default for this from above - (setq unicode-tokens-shortcut-replacement-alist nil)) + isar-symbols-tokens))))) + ;; todo: allow shortcuts for replacements to be a different list + ;; (setq unicode-tokens-shortcut-replacement-alist nil)) (isar-init-shortcut-alists) -- cgit v1.2.3