From 6fb1e482583a541aa89ec35929b842bdadad3c03 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Nov 1999 15:36:11 +0000
Subject: Changed colour of proof-locked-face

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 24ab08d5..8f98033d 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -383,7 +383,7 @@ The protocol used should be configured so that no user interaction
 
 (defface proof-locked-face
   '((((type x) (class color) (background light))   
-     (:background "lavender"))
+     (:background "lightsteelblue2"))	; was "lavender"
     (((type x) (class color) (background dark))   
      (:background "navy"))
     (t				
-- 
cgit v1.2.3