Add key binding for proof-query-identifier

1 files changed, 1 insertions, 0 deletions

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index e65819ae..8ebb0f09 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -98,6 +98,7 @@ without adjusting window layout."
   (define-key map [(control c) (control r)] 'proof-retract-buffer)
   (define-key map [(control c) (control s)] 'proof-toggle-active-scripting)
   (define-key map [(control c) (control t)] 'proof-ctxt)
+  (define-key map [(control c) (control i)] 'proof-query-identifier)
   ;; C-c C-u is proof-undo-last-successful-command in universal-keys
   ;; C-c C-w is pg-response-clear-displays in universal-keys
   (define-key map [(control c) (control z)] 'proof-frob-locked-end)