From f7f81ce79554c5580cde4f66b1268fe3769fdcd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 17:22:57 +0000
Subject: Change order of menu

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

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 1a94a52d..37deafea 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -930,11 +930,12 @@ If NUM is negative, move upwards.  Return new span."
        (list (vector
 	      "Move down"   (list 'pg-move-span-contents span 1)
 	      (pg-numth-span-higher-or-lower (pg-control-span-of span) 1 'noerr))))
+   (if proof-script-span-context-menu-extensions
+       (funcall proof-script-span-context-menu-extensions span idiom name))
    (if (and proof-experimental-features 
 	    proof-shell-theorem-dependency-list-regexp)
-       (proof-dependency-in-span-context-menu span))
-   (if proof-script-span-context-menu-extensions
-       (funcall proof-script-span-context-menu-extensions span idiom name))))
+       (proof-dependency-in-span-context-menu span))))
+
 
 
   
-- 
cgit v1.2.3