diff options
| author | David Aspinall | 2002-08-31 00:06:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 00:06:49 +0000 |
| commit | b5544164f2065584fff41a005bb6c92010ef1442 (patch) | |
| tree | 8bcb6377a5d2a84cd7d6ec49f77d75932f2f97b1 | |
| parent | d4c2e794c341008200906cf2a5f2a1fcfbaf55ef (diff) | |
Try to reduce contrast for highlighting face
| -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 de1c01bd..2d2da9fc 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -543,7 +543,7 @@ Warning messages can come from proof assistant or from Proof General itself." (defface proof-mouse-highlight-face (proof-face-specs - (:background "paleturquoise") + (:background "lightblue") (:background "darkslateblue") (:italic t)) "*General mouse highlighting face." |