From 73fdbe811271f196a94c6c0181776c23f9215e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Jun 2002 17:27:19 +0000
Subject: Match FSF C-button3 binding with XEmacs one

---
 generic/proof-menu.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index e0e29384..3fc687ae 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -78,7 +78,8 @@ If in three window or multiple frame mode, display both buffers."
 (define-key map [(control button3)]	  'proof-mouse-goto-point)
 (define-key map [(control button1)]	  'proof-mouse-track-insert)) ; no FSF
       (t 
-(define-key map [mouse-3]		  'proof-mouse-goto-point))) ; FSF
+(define-key map [(control mouse-3)]	  'proof-mouse-goto-point)))
+ ; FSF
 ;; NB: next binding overwrites comint-find-source-code.  
 ;; FIXME: not implemented yet 
 ;; (define-key map [(meta p)]		  'proof-previous-matching-command)
-- 
cgit v1.2.3