diff options
| -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.] |