From adfd2e8ef45c8d8881a25dfb30b00372ed46e74f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 8 Jun 2002 02:02:21 +0000 Subject: Spacing --- generic/proof-menu.el | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'generic/proof-menu.el') diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 04f62155..e0e29384 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -89,18 +89,14 @@ If in three window or multiple frame mode, display both buffers." ;; ;; Experimental: span moving functions (if proof-experimental-features (progn -(define-key map [(control meta up)] 'pg-move-region-up) -(define-key map [(control meta down)] 'pg-move-region-down))) + (define-key map [(control meta up)] 'pg-move-region-up) + (define-key map [(control meta down)] 'pg-move-region-down))) ;; Add the universal keys bound in all PG buffers. ;; C-c ` is next-error in universal-keys (proof-define-keys map proof-universal-keys)) - - - - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; ;;; Functions to define the menus -- cgit v1.2.3