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