diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 2cf26cf1..93c7f49b 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -516,21 +516,6 @@ without adjusting window layout." ;;; Define stuff from favourites -`substitute-command-keys' is a built-in function -(substitute-command-keys STRING) - -Documentation: -Substitute key descriptions for command names in STRING. -Return a new string which is STRING with substrings of the form \[COMMAND] -replaced by either: a keystroke sequence that will invoke COMMAND, -or "M-x COMMAND" if COMMAND is not on any keys. -Substrings of the form \{MAPVAR} are replaced by summaries -(made by `describe-bindings') of the value of MAPVAR, taken as a keymap. -Substrings of the form \<MAPVAR> specify to use the value of MAPVAR -as the keymap for future \[COMMAND] substrings. -\= quotes the following character and is discarded; -thus, \=\= puts \= into the output, and \=\[ puts \[ into the output. - ;;;###autoload (defmacro proof-defshortcut (fn string &optional key) "Define shortcut function FN to insert STRING, optional keydef KEY. |