aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-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)