diff options
| author | David Aspinall | 2000-05-17 16:44:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-17 16:44:02 +0000 |
| commit | 8d649c778d7ac9dd8be197d742b70906bc171264 (patch) | |
| tree | 40bad038f122ba274e1c57abfc2976f548b23c5c | |
| parent | 7ad64dc9247cf14c97a63650f93b7be9b5ac00f3 (diff) | |
Clarify favourites command: key sequence will begin with C-c C-a.
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 <key>): " nil t)))) + "Type the key to use (binding will be C-c C-a <key>): " nil t)))) (list cmd ins men key))) (let* ((menunames (split-string (downcase menuname))) (menuname-sym (proof-sym (proof-splice-separator "-" menunames))) |