diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 18:03:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 18:03:54 +0000 |
commit | 8e937606022b2d17956d3824f1690edd47edc47c (patch) | |
tree | 87233bef1805cf1fecc2443e5af26a6357f1bc01 /generic/pg-goals.el | |
parent | 65881cefcf8da27bf0df548ff681de0f787ae762 (diff) |
Comments.
Diffstat (limited to 'generic/pg-goals.el')
-rw-r--r-- | generic/pg-goals.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index 1532dfc4..59b65557 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -55,7 +55,7 @@ May enable proof-by-pointing or similar features. ;; (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 +;; menu by pg-pbrpm.el. In this case, control button3 is mapped to ;; 'pg-goals-yank-subterm (define-key proof-goals-mode-map [(button3)] 'pg-goals-yank-subterm)) (t |