aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-response.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-09-06 08:49:28 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-09-06 08:49:28 +0000
commit1567d82d8621f302e6447a5882df94975a14ee2e (patch)
tree660a5f6fded05589aa0b43ac3b4bf25e80e0a94a /generic/pg-response.el
parentfdcd31d4ef474b4a7217aa65c239e6e271a35754 (diff)
Use button2 instead of button1 for pg-goals-button-action
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r--generic/pg-response.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 1bec568a..efba8e12 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -27,7 +27,7 @@
(setq proof-buffer-type 'response)
;; font-lock-keywords isn't automatically buffer-local in Emacs 21.2
(make-local-variable 'font-lock-keywords)
- (define-key proof-response-mode-map [(button1)] 'pg-goals-button-action)
+ (define-key proof-response-mode-map [(button2)] 'pg-goals-button-action)
(define-key proof-response-mode-map [q] 'bury-buffer)
(define-key proof-response-mode-map [c] 'pg-response-clear-displays)
(make-local-hook 'kill-buffer-hook)