From c088485c7c536ee59f549477d9841645a288c223 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 12:09:30 +0000
Subject: Split define keys to match keymap files

---
 generic/pg-pbrpm.el | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index f6355561..a68caebe 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -563,11 +563,14 @@ If no match found, return the empty string."
      (define-key proof-goals-mode-map [(button3)] 'pg-pbrpm-button-action)
      (define-key proof-goals-mode-map [(control button3)] 'pg-goals-yank-subterm)
      (define-key proof-goals-mode-map [(control button1)] 'pg-pbrpm-remember-region)
-     (define-key pg-span-context-menu-keymap [(button3)] 'pg-pbrpm-button-action)
-     (define-key pg-span-context-menu-keymap [(control button3)] 'pg-span-context-menu)
      (define-key proof-mode-map [(button3)] 'pg-pbrpm-button-action)
      (define-key proof-mode-map [(control button3)] 'pg-goals-yank-subterm)
      (define-key proof-mode-map [(control button1)] 'pg-pbrpm-remember-region)))
 
+(eval-after-load "proof-script"
+  '(progn
+     (define-key pg-span-context-menu-keymap [(button3)] 'pg-pbrpm-button-action)
+     (define-key pg-span-context-menu-keymap [(control button3)] 'pg-span-context-menu)))
+
 (provide 'pg-pbrpm)
-;;; pg-pbrpm ends here
\ No newline at end of file
+;;; pg-pbrpm ends here
-- 
cgit v1.2.3