From 1c896e20c909954df3aad34c5cca1a11c21d40eb Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Aug 2010 10:43:58 +0000 Subject: Add command bound to C-c C-a h ? to show available help keys --- isar/isar.el | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'isar/isar.el') diff --git a/isar/isar.el b/isar/isar.el index 2ab4ea88..b4150b98 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -327,8 +327,6 @@ This is called when Proof General spots output matching ;; Help menu ;; -;;; da: how about a `C-c C-a h ?' for listing available keys? - ;;; NB: definvisible must be after derived modes (uses isar-mode-map) (proof-definvisible isar-help-antiquotations "print_antiquotations" "hA") @@ -345,6 +343,12 @@ This is called when Proof General spots output matching (proof-definvisible isar-help-theorems "print_theorems" "ht") (proof-definvisible isar-help-trans-rules "print_trans_rules" "hT") +(define-key isar-mode-map "\C-c\C-ah?" 'isar-describe-help-keys) +(defun isar-describe-help-keys () + "Describe key bindings with prefix C-c C-a h" + (interactive) + (describe-bindings "\C-c\C-ah")) + ;; ;; Command menu ;; -- cgit v1.2.3