From 2eab72c33751768c8a6cde36b978ea4a36b91843 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Mon, 6 Nov 2017 13:28:55 +0100
Subject: Prettier cheat face (background + box).

---
 CHANGES       |  1 +
 coq/coq-db.el | 13 ++++++-------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/CHANGES b/CHANGES
index 5b35e3d0..567b79a2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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)
-- 
cgit v1.2.3