diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 20:20:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 20:20:40 +0000 |
commit | c959c870a82c8aec292a72d0f9a7b8afe712f54a (patch) | |
tree | 45233acaf45ba3010f9ed8c008738241b0c60ab2 /generic/pg-assoc.el | |
parent | cd72e777964d01cd3ebe36da121b19176d0b80d1 (diff) |
Make mouse 1 binding compatible also with XEmacs.
Diffstat (limited to 'generic/pg-assoc.el')
-rw-r--r-- | generic/pg-assoc.el | 6 |
1 files 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" |