]> git.eshelyaron.com Git - sweep.git/commit
Improve hole highlighting in the Sweep top-level
authorEshel Yaron <me@eshelyaron.com>
Mon, 27 Nov 2023 07:16:47 +0000 (08:16 +0100)
committerEshel Yaron <me@eshelyaron.com>
Mon, 27 Nov 2023 07:16:47 +0000 (08:16 +0100)
commit56aea5450267a72c331dec134b553fa1197a0bce
treec945e902dd433ec7807fb22da04697799e5d347b
parent17d26e466fdca7f444c0c3d8c3038beae3a1e9b3
Improve hole highlighting in the Sweep top-level

* sweeprolog.el (sweeprolog-analyze-end-font-lock): Extract hole
highlighting code to...
(sweeprolog--highlight-holes): New function.
(sweeprolog-colourise-query): Use it.
(sweeprolog-fill-holes): New command.
(sweeprolog--fill-query-holes): New function.
(sweeprolog-top-level-mode): Use it to fill holes in query when
posting it.

* sweep.texi (Filling Holes): Document 'sweeprolog-fill-holes'.
sweep.texi
sweeprolog.el