diff options
| -rw-r--r-- | generic/pg-user.el | 7 |
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)))) + |