diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 1 |
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) |