From f574a04640014a64e505629622141c278601b991 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 27 Sep 2009 17:40:32 +0000
Subject: Put Display submenu first in Quick Options menu

---
 generic/proof-menu.el | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

(limited to 'generic')

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)
-- 
cgit v1.2.3