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/proof-menu.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 814804c6..693a4ad2 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -123,7 +123,7 @@ without adjusting window layout."
   ;; C-c C-. is proof-goto-end-of-locked in universal-keys
   (define-key map [(control c) (control return)] 'proof-goto-point)
   (define-key map [(control c) ?v] 'pg-toggle-visibility)
-  (define-key map [(control mouse-3)] 'proof-mouse-goto-point)
+  (define-key map [(control meta mouse-3)] 'proof-mouse-goto-point)
   ;; NB: next binding overwrites comint-find-source-code.
   (define-key map [(meta p)] 'pg-previous-matching-input-from-input)
   (define-key map [(meta n)] 'pg-next-matching-input-from-input)
-- 
cgit v1.2.3