diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-11-06 12:48:09 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-11-06 12:50:28 +0100 |
commit | 70b69ad2875248359489299d71672db811369647 (patch) | |
tree | 701e100f0c4e9708b5b1fa85f28c35330cfa7b5c | |
parent | f1ca798c0e68dfb44630b73e2e1b262c8ec304b9 (diff) |
Fix #135.
-rw-r--r-- | coq/coq-db.el | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index 0d9c0a6e..bd0631d2 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -284,19 +284,21 @@ See `coq-syntax-db' for DB structure." (defface coq-solve-tactics-face (proof-face-specs (:foreground "red") ; pour les fonds clairs - (:foreground "red") ; pour les fond foncés + (:foreground "red1") ; pour les fond foncés ()) ; pour le noir et blanc "Face for names of closing tactics in proof scripts." :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. +;;A face for cheating tactics +;; We use :reverse-color instead of :background because it remains visible in +;; locked-region. We could use :box but it makes text be slightly shifted when +;; hitting the last letter of "admit." for instance, which may be irritating. (defface coq-cheat-face - (proof-face-specs - (:background "red") ; pour les fonds clairs - (:background "red") ; pour les fond foncés - ()) ; pour le noir et blanc + '((((class color) (background light)) . (:inverse-video t :foreground "red" :background "black")) + (((class color) (background dark)) . (:inverse-video t :foreground "red1")) + ;(((class color) (background light)) . (:box (:line-width 1 :color "red" :style nil) :background "red")) + ;(((class color) (background dark)) . (:box (:line-width 1 :color "red1" :style nil) :background "red1")) + (t . ())) ; monocolor or greyscale: no highlight "Face for names of cheating tactics in proof scripts." :group 'proof-faces) |