diff options
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))) |