From 3672ec30e43d82fa3b95c77e7316462841a654a2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 13 Jun 2004 21:09:17 +0000
Subject: Adjust colours to a lighter scheme.

---
 generic/proof-config.el | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index b7bf3e7a..4c10b3a8 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -452,7 +452,7 @@ signals to the remote host."
 
 (defface proof-queue-face 
   (proof-face-specs 
-   (:background "darksalmon") ;; was "mistyrose" in 3.3
+   (:background "mistyrose") ;; was "darksalmon" in PG 3.4,3.5
    (:background "mediumvioletred")
    (:foreground "white" :background "black"))
   "*Face for commands in proof script waiting to be processed."
@@ -460,7 +460,12 @@ signals to the remote host."
 
 (defface proof-locked-face
   (proof-face-specs
-   (:background "lightsteelblue") ;; was "lavender", later "lightcyan" in 3.3
+   ;; This colour is quite subjective and may be best chosen according
+   ;; 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")
    (:underline t))
   "*Face for locked region of proof script (processed commands)."
-- 
cgit v1.2.3