From fb9f956c4fd7fd2d63f970040eaeffa6ac08222c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 7 Apr 2015 16:00:48 +0000
Subject: Added comment.

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

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

diff --git a/coq/coq-db.el b/coq/coq-db.el
index d90d3b58..45f2309f 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -290,6 +290,8 @@ See `coq-syntax-db' for DB structure."
   :group 'proof-faces)
 
 ;;A new face for cheating tactics 
+;; FIXMe: the background color disappear when locked region overrides it.
+;; this is hard to fix without re-colorizing afterward.
 (defface coq-cheat-face
   (proof-face-specs
    (:background "red") ; pour les fonds clairs
-- 
cgit v1.2.3