From a975bc8b763917d689b278732dc2e6ca22e89efe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 3 Aug 2008 20:44:51 +0000
Subject: Change for locked face colour

---
 generic/proof-config.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index c503e4b9..6c742246 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -475,9 +475,9 @@ not listed here, you may not get the correct syntax colouring behaviour.")
    ;; to the type of display you have.
    ;; PG 3.3: lavender, later "lightcyan"
    ;; PG 3.4,3.5: lightsteelblue (stronger colour, more visible on data projectors)
-   ;; PG 4.0: aliceblue (lighter even than lavender)
-   (:background "lightsteelblue")
-   (:background "navy")
+   ;; PG 4.0: lightsteelblue1 (lighter again, even than lavender)
+   (:background "lightsteelblue1")
+   (:background "darkblue")
    (:underline t))
   "*Face for locked region of proof script (processed commands)."
   :group 'proof-faces)
-- 
cgit v1.2.3