From: Eshel Yaron Date: Sun, 11 Jun 2023 18:03:53 +0000 (+0300) Subject: ENHANCED: Also highlight "undefined" head terms X-Git-Tag: V9.1.10-sweep-0.19.1~4 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=8d219525e66778ce0d4b2fd6a41d29091812c587;p=sweep.git ENHANCED: Also highlight "undefined" head terms --- diff --git a/sweeprolog.el b/sweeprolog.el index aa47530..92c0829 100644 --- a/sweeprolog.el +++ b/sweeprolog.el @@ -2187,6 +2187,8 @@ resulting list even when found in the current clause." (list beg end (sweeprolog-comment-face)))) (`("head" "unreferenced" . ,_) (list (list beg end (sweeprolog-head-unreferenced-face)))) + (`("head" "undefined" . ,_) + (list (list beg end (sweeprolog-head-undefined-face)))) (`("head" "test" . ,_) (list (list beg end (sweeprolog-head-test-face)))) (`("head" "meta" . ,_)