From 73cb28aac0f12b864338077a457b3347592ba345 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Jun 2003 20:51:50 +0000
Subject: GNU Emacs keybinding for pg-identifier-under-mouse-query

---
 generic/pg-user.el | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index b30b2a03..56bd2970 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1032,9 +1032,13 @@ The function `substitute-command-keys' is called on the argument."
 ;; Identifier under mouse query  (added in PG 3.5)
 ;;
 
-;; FIXME: next setting perhaps a bit obnoxious, but this modifier
-;; combination is currently unused.
-(global-set-key '(control meta button1) 'pg-identifier-under-mouse-query)
+;; FIXME: making the binding globally is perhaps a bit obnoxious, but
+;; this modifier combination is currently unused.
+(cond 
+ (proof-running-on-Emacs21
+  (global-set-key [C-M-mouse-1] 'pg-identifier-under-mouse-query))
+ (proof-running-on-Xemacs
+  (global-set-key '(control meta button1) 'pg-identifier-under-mouse-query)))
 
 (defun pg-identifier-under-mouse-query (event)
   (interactive "e")
-- 
cgit v1.2.3