aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2008-08-03 20:44:51 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2008-08-03 20:44:51 +0000
commita975bc8b763917d689b278732dc2e6ca22e89efe (patch)
tree2b3779e9493648cf64834cb183b1d1fb66c04658 /generic
parent857a3959b9b01d9285027d390553bff005300b6a (diff)
Change for locked face colour
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-config.el6
1 files changed, 3 insertions, 3 deletions
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)