From 8d649c778d7ac9dd8be197d742b70906bc171264 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 17 May 2000 16:44:02 +0000 Subject: Clarify favourites command: key sequence will begin with C-c C-a. --- generic/proof-menu.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 2a53866c..fba3c8dc 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -283,7 +283,7 @@ suitable for adding to the proof assistant menu." (men (read-string "Name of command on menu: " cmd)) (key (if (y-or-n-p "Set a keybinding for this command? : ") (read-key-sequence - "Type the key to use (I recommend C-c C-a ): " nil t)))) + "Type the key to use (binding will be C-c C-a ): " nil t)))) (list cmd ins men key))) (let* ((menunames (split-string (downcase menuname))) (menuname-sym (proof-sym (proof-splice-separator "-" menunames))) -- cgit v1.2.3