diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 17:40:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-27 17:40:32 +0000 |
| commit | f574a04640014a64e505629622141c278601b991 (patch) | |
| tree | 16f7608e5586028f536aef2b5bb925f4ac927c1d /generic/proof-menu.el | |
| parent | 46ca4a376644a9be166880514bb8a3de8b28451b (diff) | |
Put Display submenu first in Quick Options menu
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index b2aa34a6..80f39845 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -345,22 +345,6 @@ without adjusting window layout." :style toggle :selected (not proof-shell-quiet-errors) :help "Beep on errors or interrupts"] - ("Read Only" - ["Strict Read Only" - (customize-set-variable 'proof-strict-read-only t) - :style radio - :selected (eq proof-strict-read-only t) - :help "Do not allow editing in processed region"] - ["Undo On Edit" - (customize-set-variable 'proof-strict-read-only 'retract) - :style radio - :selected (eq proof-strict-read-only 'retract) - :help "Automatically retract on edits in processed region"] - ["Freely Edit" - (customize-set-variable 'proof-strict-read-only nil) - :style radio - :selected (null proof-strict-read-only) - :help "No write protection, edit anywhere. Dangerous!"]) ("Display" ["Unicode Tokens" (proof-unicode-tokens-toggle (if (boundp 'unicode-tokens-mode) @@ -405,6 +389,22 @@ without adjusting window layout." :style toggle :selected proof-colour-locked :help "Use decoration of locked region"]) + ("Read Only" + ["Strict Read Only" + (customize-set-variable 'proof-strict-read-only t) + :style radio + :selected (eq proof-strict-read-only t) + :help "Do not allow editing in processed region"] + ["Undo On Edit" + (customize-set-variable 'proof-strict-read-only 'retract) + :style radio + :selected (eq proof-strict-read-only 'retract) + :help "Automatically retract on edits in processed region"] + ["Freely Edit" + (customize-set-variable 'proof-strict-read-only nil) + :style radio + :selected (null proof-strict-read-only) + :help "No write protection, edit anywhere. Dangerous!"]) ("Follow Mode" ["Follow Locked Region" (customize-set-variable 'proof-follow-mode 'locked) |