diff options
author | 2009-08-07 14:40:46 +0000 | |
---|---|---|
committer | 2009-08-07 14:40:46 +0000 | |
commit | 7b0b49cdc9fa9883b1fcd246608b7dc5fac7b5b2 (patch) | |
tree | e54e0b123d4a8c1e7347f4fea7872272f80d41a6 /generic/proof-menu.el | |
parent | b4a8dafffec6c5fc44228760bd227617086581e0 (diff) |
Remove experimental setting. Define toggle function.
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 8 |
1 files 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) |