diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-08-06 09:43:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-08-06 09:43:30 +0000 |
commit | 44e162ded2c914defb2579066c0b082b35547ae2 (patch) | |
tree | 634b9964e157adfd65416acf927343848e62783a /generic | |
parent | a32ea995f7a5ef0edf07bbb58a7111a024264769 (diff) |
Comment
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-unicode-tokens.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 99434c57..b636eaa5 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -108,6 +108,7 @@ Switch off tokens in all script buffers, recalculate maps, turn on again." (proof-buffers-in-mode proof-mode-for-script) (unicode-tokens-mode 1))))) +;; functions to dynamically change settings (eval-after-load "unicode-tokens" '(dolist (var unicode-tokens-configuration-variables) (funcall 'defalias |