From 7b0b49cdc9fa9883b1fcd246608b7dc5fac7b5b2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Aug 2009 14:40:46 +0000 Subject: Remove experimental setting. Define toggle function. --- generic/proof-menu.el | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 300bae60..c3ef32d8 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -115,11 +115,8 @@ without adjusting window layout." (define-key map [(control return)] 'proof-script-complete) (define-key map [(control c) (control ?\;)] 'pg-insert-last-output-as-comment) ;; - ;; 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. ;; NB: C-c ` is next-error in universal-keys (proof-define-keys map proof-universal-keys)) @@ -263,6 +260,7 @@ without adjusting window layout." (proof-deftoggle proof-three-window-enable proof-three-window-toggle) (proof-deftoggle proof-auto-raise-buffers proof-auto-raise-toggle) (proof-deftoggle proof-disappearing-proofs) +(proof-deftoggle proof-full-annotation) (proof-deftoggle proof-strict-read-only) (proof-deftoggle proof-colour-locked) -- cgit v1.2.3