[nongnu] elpa/gruvbox-theme 921bfd7a2f 4/4: Better use of colors for Proof General

[ELPA Syncer]

branch: elpa/gruvbox-theme
commit 921bfd7a2f5174b68682b04e6010b156bbfe6c70
Author: Dan Frumin <dan@groupoid.moe>
Commit: Jason Milkins <jasonm23@users.noreply.github.com>

    Better use of colors for Proof General
---
 README.md  | 1 +
 gruvbox.el | 7 +++++++
 2 files changed, 8 insertions(+)

diff --git a/README.md b/README.md
index ed5034e4e8..bf448c267c 100644
--- a/README.md
+++ b/README.md
@@ -99,6 +99,7 @@ This theme contains custom support for the following features 
and plugins:
 - [Neotree](https://github.com/jaypei/emacs-neotree)
 - Org
 - Popup
+- [Proof General](https://proofgeneral.github.io/)
 - [RainbowDelimiters](http://www.emacswiki.org/emacs/RainbowDelimiters)
 - Shell script
 - Smart modeline
diff --git a/gruvbox.el b/gruvbox.el
index 8550f49aa9..1909dc266e 100644
--- a/gruvbox.el
+++ b/gruvbox.el
@@ -837,11 +837,18 @@ Should contain 2 %s constructs to allow for theme name 
and directory/prefix")
      (coq-solve-tactics-face      (:inherit 'font-lock-constant-face))
      (coq-cheat-face              (:box (:line-width -1 :color 
gruvbox-bright_red :style nil)
                                         :foreground gruvbox-bright_red))
+     (coq-button-face             (:background gruvbox-bg_inactive))
+     (coq-button-face-active      (:background gruvbox-dark1))
+     (coq-button-face-pressed     (:background gruvbox-bg_inactive))
 
      ;; Proof General
      (proof-active-area-face      (:underline t))
      (proof-tacticals-name-face   (:inherit 'font-lock-constant-face))
      (proof-tactics-name-face     (:inherit 'font-lock-constant-face))
+     (proof-locked-face           (:background gruvbox-dark1))
+     (proof-queue-face            (:background gruvbox-dark2))
+     (proof-warning-face          (:background gruvbox-dark_red))
+     (proof-error-face            (:background gruvbox-bg :foreground 
gruvbox-faded_red))
 
      ;; ledger-mode
      (ledger-font-xact-highlight-face  (:background gruvbox-dark1))