diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 12:09:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 12:09:30 +0000 |
| commit | c088485c7c536ee59f549477d9841645a288c223 (patch) | |
| tree | 9302f931a8a5754f0a4345017e7434acb6dc7d53 /generic/pg-pbrpm.el | |
| parent | 9a19a0434d56f5dc28139a32773b7b902ff43168 (diff) | |
Split define keys to match keymap files
Diffstat (limited to 'generic/pg-pbrpm.el')
| -rw-r--r-- | generic/pg-pbrpm.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index f6355561..a68caebe 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -563,11 +563,14 @@ If no match found, return the empty string." (define-key proof-goals-mode-map [(button3)] 'pg-pbrpm-button-action) (define-key proof-goals-mode-map [(control button3)] 'pg-goals-yank-subterm) (define-key proof-goals-mode-map [(control button1)] 'pg-pbrpm-remember-region) - (define-key pg-span-context-menu-keymap [(button3)] 'pg-pbrpm-button-action) - (define-key pg-span-context-menu-keymap [(control button3)] 'pg-span-context-menu) (define-key proof-mode-map [(button3)] 'pg-pbrpm-button-action) (define-key proof-mode-map [(control button3)] 'pg-goals-yank-subterm) (define-key proof-mode-map [(control button1)] 'pg-pbrpm-remember-region))) +(eval-after-load "proof-script" + '(progn + (define-key pg-span-context-menu-keymap [(button3)] 'pg-pbrpm-button-action) + (define-key pg-span-context-menu-keymap [(control button3)] 'pg-span-context-menu))) + (provide 'pg-pbrpm) -;;; pg-pbrpm ends here
\ No newline at end of file +;;; pg-pbrpm ends here |