From: Eshel Yaron 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=dict.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" . ,_)