]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: highlight holes in incomplete terms
authorEshel Yaron <me@eshelyaron.com>
Wed, 21 Dec 2022 17:51:48 +0000 (19:51 +0200)
committerEshel Yaron <me@eshelyaron.com>
Wed, 21 Dec 2022 17:51:48 +0000 (19:51 +0200)
commit38c0cc4fe6d56c7a35a14637fc819ecb8d4fbb35
tree49216685f8b7c8e0248f449de81d9dde6a1402ac
parent7f9c04f36dc9f6c0fe406526648d1f91712baa8e
ENHANCED: highlight holes in incomplete terms

* sweeprolog.el (sweeprolog-predicate-completion-at-point): fontify
holes when inserting them.
(sweeprolog-analyze-start-font-lock): reset font-lock-face in analyzed
region.
(sweeprolog-analyze-fragment-to-faces): fix syntax error handling,
don't highlight holes as it is done by...
(sweeprolog-analyze-end-font-lock): new function, highlights holes in
analyzed region when sweeprolog-highlight-holes is non-nil.
(sweeprolog-analyze-region-end-hook): add it.
(sweeprolog--hole): fix text property used for setting stickiness.
sweeprolog.el