diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-09-06 08:49:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-09-06 08:49:28 +0000 |
commit | 1567d82d8621f302e6447a5882df94975a14ee2e (patch) | |
tree | 660a5f6fded05589aa0b43ac3b4bf25e80e0a94a /generic/pg-response.el | |
parent | fdcd31d4ef474b4a7217aa65c239e6e271a35754 (diff) |
Use button2 instead of button1 for pg-goals-button-action
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 2 |
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) |