From c4b49a4a3e7b5206f1f29495fd96980aad73e5b9 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Fri, 8 Jun 2018 18:19:29 +0200
Subject: Changed the look of folding/unfolding hyps.

---
 coq/coq-db.el | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'coq/coq-db.el')

diff --git a/coq/coq-db.el b/coq/coq-db.el
index 28f2ff2b..dccdca52 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -330,6 +330,28 @@ See `coq-syntax-db' for DB structure."
   "Face used for `ltac:', `constr:', and `uconstr:' headers."
   :group 'proof-faces)
 
+;; This messes columns, can't figure out why putting this face makes the overlay
+;; larger than a character
+;; (defface coq-button-face
+;;   '((t :inherit custom-button :background "dark gray"))
+;;   ""
+;;   :group 'proof-faces)
+
+;; (defface coq-button-face-pressed
+;;   '((t :inherit custom-button-pressed :background "light gray"))
+;;   ""
+;;   :group 'proof-faces)
+
+(defface coq-button-face
+  '((t . (:background "light gray")))
+  ""
+  :group 'proof-faces)
+
+(defface coq-button-face-pressed
+  '((t . (:background "dark gray")))
+  ""
+  :group 'proof-faces)
+
 (defconst coq-solve-tactics-face 'coq-solve-tactics-face
   "Expression that evaluates to a face.
 Required so that 'coq-solve-tactics-face is a proper facename")
-- 
cgit v1.2.3