diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 13:16:01 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 13:16:01 +0000 |
| commit | a40435d8211a53c684fbcde06d62cd8ea62a78df (patch) | |
| tree | fbe38b153bdbcc3a908c1bf7c2fe2a14c135d862 /generic/pg-goals.el | |
| parent | 833f4a83100a5245b16f2d6121b49c81a8512fdf (diff) | |
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Diffstat (limited to 'generic/pg-goals.el')
| -rw-r--r-- | generic/pg-goals.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index df1cece2..1532dfc4 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -54,12 +54,18 @@ May enable proof-by-pointing or similar features. ;; Actually we better hadn't, people like to use it for cut and paste. ;; (define-key proof-goals-mode-map [(button1)] 'pg-goals-button-action) ;; (define-key proof-goals-mode-map [(control button1)] 'proof-undo-and-delete-last-successful-command) +;; C Raffalli: The next key on button3 will be remapped to proof by contextual +;; menu by pg-pbrpm.el. In this cans, control button3 is mapped to +;; 'pg-goals-yank-subterm (define-key proof-goals-mode-map [(button3)] 'pg-goals-yank-subterm)) (t (define-key proof-goals-mode-map [mouse-2] 'pg-goals-button-action) (define-key proof-goals-mode-map [C-mouse-2] 'proof-undo-and-delete-last-successful-command) ;; (define-key proof-goals-mode-map [mouse-1] 'pg-goals-button-action) ;; (define-key proof-goals-mode-map [C-mouse-1] 'proof-undo-and-delete-last-successful-command) +;; C Raffalli: The next key on button3 will be remapped to proof by contextual +;; menu by pg-pbrpm.el. In this cans, control button3 is mapped to +;; 'pg-goals-yank-subterm (define-key proof-goals-mode-map [mouse-3] 'pg-goals-yank-subterm))) |