diff options
| -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." |