diff options
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) |