From 4a81f21fd1225134ce318051512ee50859fe1c56 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 12:54:50 +0000
Subject: Support dynamically changing short-cut list

---
 generic/proof-unicode-tokens.el | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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
 ;;;
-- 
cgit v1.2.3