From f22d7ba32d2ff50c42650f2f3ee827db78df78de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 4 Oct 2010 13:35:52 +0000
Subject: Move mouse button bindings to avoid clashes (patch from Trac #365,
 Erik Martin-Dorel)

---
 generic/pg-goals.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/pg-goals.el')

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index 1dc079cb..55a64bfc 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -56,7 +56,7 @@ May enable proof-by-pointing or similar features.
 (define-key proof-goals-mode-map [q] 'bury-buffer)
 ;; TODO: use standard Emacs button behaviour here (cf Info mode)
 (define-key proof-goals-mode-map [mouse-1] 'pg-goals-button-action)
-(define-key proof-goals-mode-map [C-mouse-3]
+(define-key proof-goals-mode-map [C-M-mouse-3]
   'proof-undo-and-delete-last-successful-command)
 
 
-- 
cgit v1.2.3