diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-11-06 13:28:55 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-11-06 13:31:05 +0100 |
| commit | 2eab72c33751768c8a6cde36b978ea4a36b91843 (patch) | |
| tree | d2a37c9ba86d0b3cad5001de456cbcef7b6dfdfb | |
| parent | 70b69ad2875248359489299d71672db811369647 (diff) | |
Prettier cheat face (background + box).
| -rw-r--r-- | CHANGES | 1 | ||||
| -rw-r--r-- | coq/coq-db.el | 13 |
2 files changed, 7 insertions, 7 deletions
@@ -13,6 +13,7 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac *** bug fixes - Using query-replace (or replace-string) in the processed region doesn't wrongly jump to the first match anymore. + - cheat face (admit etc) now visible when locked. *** remove key-binding for proof-electric-terminator-toggle - The default key-binding for proof-electric-terminator-toggle diff --git a/coq/coq-db.el b/coq/coq-db.el index bd0631d2..13badf56 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -290,14 +290,13 @@ See `coq-syntax-db' for DB structure." :group 'proof-faces) ;;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. +;; We use :box in addition to :background because box remains visible in +;; locked-region. :reverse-video is another solution. (defface coq-cheat-face - '((((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")) + '(;(((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) |