diff options
-rw-r--r-- | coq/coq-db.el | 2 |
1 files changed, 2 insertions, 0 deletions
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 |