diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-04-07 16:00:48 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-04-07 16:00:48 +0000 |
commit | fb9f956c4fd7fd2d63f970040eaeffa6ac08222c (patch) | |
tree | 3d6c3aebee9e6776e32554f2c274e365d964f57e /coq/coq-db.el | |
parent | d51b4fa8f637fc6f009427cbbee777e76bc2399a (diff) |
Added comment.
Diffstat (limited to 'coq/coq-db.el')
-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 |