Highlight test case head terms in a dedicated face

diff --git a/.gitignore b/.gitignore
index a9b5819b7fc15f2e40c957005fc8ff53599385a9..ee9db441d10e3f2aeb27ad7bf157d790b1be9452 100644 (file)
--- 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 2c9d777a6667cc0d7721c4ea1d190705a0377521..3e96f56383267cd1196de4926d9e9a6ef6a8c3e3 100644 (file)
--- 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" . ,_)