From 70140e80a12f3081cfc3fdf2c77ca759cc02dddc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Jan 2011 19:25:28 +0000
Subject: pg-create-in-span-context-menu: remove "Move up" and "Move down".
 These don't seem to be very useful or reliable.

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

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index e49dcba5..dcbaffba 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -743,12 +743,13 @@ If NUM is negative, move upwards.  Return new span."
    (list (vector
 	  "Undo"
 	  (list 'pg-span-undo span) t))
-   (list (vector
-	  "Move up"     (list 'pg-move-span-contents span -1)
-	  (pg-numth-span-higher-or-lower (pg-control-span-of span) -1 'noerr)))
-   (list (vector
-	  "Move down"   (list 'pg-move-span-contents span 1)
-	  (pg-numth-span-higher-or-lower (pg-control-span-of span) 1 'noerr)))
+   ;; PG 4.1: these commands are neither very useful nor reliable
+   ;; (list (vector
+   ;; 	  "Move up"     (list 'pg-move-span-contents span -1)
+   ;; 	  (pg-numth-span-higher-or-lower (pg-control-span-of span) -1 'noerr)))
+   ;; (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 proof-shell-theorem-dependency-list-regexp
-- 
cgit v1.2.3