Change order of menu

1 files 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))))
+