From c959c870a82c8aec292a72d0f9a7b8afe712f54a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 20:20:40 +0000
Subject: Make mouse 1 binding compatible also with XEmacs.

---
 generic/pg-assoc.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el
index 65afe666..9f8b46bd 100644
--- a/generic/pg-assoc.el
+++ b/generic/pg-assoc.el
@@ -145,7 +145,9 @@ If pg-subterm-first-special-char is unset, return STRING unchanged."
 
 (defconst pg-assoc-active-area-keymap 
   (let ((map (make-sparse-keymap)))
-    (define-key map [mouse-1] 'pg-goals-button-action)
+    (if (featurep 'xemacs)
+	(define-key map [(button1)] 'pg-goals-button-action)
+      (define-key map [mouse-1] 'pg-goals-button-action))
     map))
 
 (defun pg-assoc-make-top-span (start end)
@@ -176,7 +178,7 @@ If pg-subterm-first-special-char is unset, return STRING unchanged."
     (span-set-property span 'mouse-face 'highlight)
     (span-set-property span 'face 'proof-active-area-face)
     (span-set-property span 'proof-top-element typname)
-    (span-set-property span 'keymap pg-assoc-active-area-keymap)
+    (set-span-keymap span pg-assoc-active-area-keymap)
     (span-set-property span 'help-echo 
 		       (if (eq (current-buffer) proof-goals-buffer)
 			   "mouse-1: proof-by-pointing action"
-- 
cgit v1.2.3