]> git.eshelyaron.com Git - sweep.git/commit
Add a few missing CHR-specific faces and help messages
authorEshel Yaron <me@eshelyaron.com>
Thu, 23 Nov 2023 10:44:23 +0000 (11:44 +0100)
committerEshel Yaron <me@eshelyaron.com>
Thu, 23 Nov 2023 10:44:23 +0000 (11:44 +0100)
commitf036843a31ee42df1ca49c22c0ddde7c57b73654
tree9987a7b0ef7fe456502e404a08e3ad99ef29e12b
parent9fb73320c5520871a5473f6b427fb9e7fae1d766
Add a few missing CHR-specific faces and help messages

* sweeprolog.el (sweeprolog-deprecated):
(sweeprolog-delimiter):
(sweeprolog-pragma):
(sweeprolog-chr-type): New faces.
(sweeprolog-analyze-fragment-to-faces): Use them.
(sweeprolog-analyze-fragment-help-echo): Add 'help-echo' text for
CHR-specific term kinds.
(sweeprolog--help-echo-for-goal-functor): Shorten messages.
sweeprolog.el