From: Eshel Yaron <me@eshelyaron.com>
Date: Thu, 10 Nov 2022 20:35:15 +0000 (+0200)
Subject: Highlight test case head terms in a dedicated face
X-Git-Tag: V8.5.20-sweep-0.8.6~2
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=c1a6c1e1045a9eb88689867499e9728f40f49f72;p=sweep.git

Highlight test case head terms in a dedicated face
---

diff --git a/.gitignore b/.gitignore
index a9b5819..ee9db44 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,7 @@
 /TODO.org
 /auto/
 /sweep.tex
+/#sweeprolog-tests.el#
+/#sweep.pl#
+/sweeprolog-tests.elc
+/sweeprolog.elc
diff --git a/sweeprolog.el b/sweeprolog.el
index 2c9d777..3e96f56 100644
--- a/sweeprolog.el
+++ b/sweeprolog.el
@@ -1187,6 +1187,13 @@ When non-nil, only predicates whose name contains PREFIX are returned."
   (:foreground "cyan" :weight bold)
   "External predicate definitions.")
 
+(sweeprolog-defface
+  head-test
+  (:inherit font-lock-preprocessor-face)
+  (:foreground "#01bdbd" :weight bold)
+  (:foreground "#01bdbd" :weight bold)
+  "Unreferenced predicate definitions.")
+
 (sweeprolog-defface
   head-unreferenced
   (:inherit font-lock-warning-face)
@@ -1652,6 +1659,8 @@ When non-nil, only predicates whose name contains PREFIX are returned."
            (list beg end (sweeprolog-comment-face))))
     (`("head" "unreferenced" . ,_)
      (list (list beg end (sweeprolog-head-unreferenced-face))))
+    (`("head" "test" . ,_)
+     (list (list beg end (sweeprolog-head-test-face))))
     (`("head" "meta" . ,_)
      (list (list beg end (sweeprolog-head-meta-face))))
     (`("head" "iso" . ,_)