branch: elpa/gruber-darker-theme
commit 7f95ce96079eb22b9214435ed25c5af98f60b482
Author: rexim <rexim...@gmail.com>
Commit: rexim <rexim...@gmail.com>
Add support for Proof General
---
gruber-darker-theme.el | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/gruber-darker-theme.el b/gruber-darker-theme.el
index 203e676da8..f124edbdde 100644
--- a/gruber-darker-theme.el
+++ b/gruber-darker-theme.el
@@ -57,7 +57,8 @@
(gruber-darker-yellow "#ffdd33")
(gruber-darker-brown "#cc8c3c")
(gruber-darker-quartz "#95a99f")
- (gruber-darker-niagara-1 "#5f627f")
+ (gruber-darker-niagara-2 "#303540")
+ (gruber-darker-niagara-1 "#565f73")
(gruber-darker-niagara "#96a6c8")
(gruber-darker-wisteria "#9e95c7")
)
@@ -374,6 +375,9 @@
`(company-scrollbar-bg ((t (:background ,gruber-darker-bg+2))))
`(company-preview ((t (:background ,gruber-darker-green))))
`(company-preview-common ((t (:foreground ,gruber-darker-green :background
,gruber-darker-bg-1))))
+
+ ;;;;; Proof General
+ `(proof-locked-face ((t (:background ,gruber-darker-niagara-2))))
))
;;;###autoload
