diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 19:45:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 19:45:35 +0000 |
commit | 96d6ec3c75418bce0c1de8346a067ed2dacabf73 (patch) | |
tree | 85b12aeac208c12b38662a298fe2cbb880f5cf10 /isar/isar-unicode-tokens.el | |
parent | f85e2881df8ebbdd012b16f2173510beedfe5ccb (diff) |
Require unicode-tokens during compile.
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-rw-r--r-- | isar/isar-unicode-tokens.el | 12 |
1 files changed, 9 insertions, 3 deletions
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) |