Support dynamically changing short-cut list

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
 ;;;