From 1567d82d8621f302e6447a5882df94975a14ee2e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 6 Sep 2007 08:49:28 +0000 Subject: Use button2 instead of button1 for pg-goals-button-action --- generic/pg-response.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3