diff options
author | 1999-11-12 15:36:11 +0000 | |
---|---|---|
committer | 1999-11-12 15:36:11 +0000 | |
commit | 6fb1e482583a541aa89ec35929b842bdadad3c03 (patch) | |
tree | 76eb7ed8e086e4b1f5428469a18152e01d600f8a /generic/proof-config.el | |
parent | 4478e1c5c4d37f4127cdb9fe0701edb6de5b9f62 (diff) |
Changed colour of proof-locked-face
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |