diff options
| -rw-r--r-- | generic/proof-unicode-tokens.el | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 3f85968c..9da6f32a 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -75,7 +75,7 @@ in future if we have just activated it for this buffer." ;;; -;;; Interface to custom (via proof-set-value) +;;; Interface to custom to dynamically change tables (via proof-set-value) ;;; (defun proof-token-name-alist () @@ -93,6 +93,13 @@ Switch off tokens in all buffers, recalculate maps, turn on again." (proof-buffers-in-mode proof-mode-for-script) (unicode-tokens-mode 1))))) +(defun proof-shortcut-alist () + "Function called after the shortcut alist has been changed. +Updates the input mapping for reading shortcuts." + (when proof-unicode-tokens-initialised ; not on startup + (setq unicode-tokens-shortcut-alist (proof-ass shortcut-alist)) + (unicode-tokens-initialise))) + ;;; ;;; Interface to shell ;;; |