]> git.eshelyaron.com Git - sweep.git/commitdiff
ENHANCED: Also highlight "undefined" head terms
authorEshel Yaron <me@eshelyaron.com>
Sun, 11 Jun 2023 18:03:53 +0000 (21:03 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sun, 11 Jun 2023 18:03:53 +0000 (21:03 +0300)
sweeprolog.el

index aa4753098ca84ade2370dd80bc964e03b090a825..92c0829890aa87b677fcce0cc266836d2cc442f5 100644 (file)
@@ -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" . ,_)