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 | |
parent | 65881cefcf8da27bf0df548ff681de0f787ae762 (diff) |
Comments.
-rw-r--r-- | generic/pg-goals.el | 2 | ||||
-rw-r--r-- | generic/proof-shell.el | 1 |
2 files changed, 1 insertions, 2 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 diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 64b5b275..bbb7af52 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -2048,7 +2048,6 @@ usual, unless NOERROR is non-nil." (setq proof-shell-urgent-message-scanner (make-marker)) (set-marker proof-shell-urgent-message-scanner (point-min)) - ;; easy-menu-add must be in the mode function for XEmacs. (easy-menu-add proof-shell-mode-menu proof-shell-mode-map) ;; [ Should already be in proof-goals-buffer, really.] |