]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: faster completion-at-point for predicates
authorEshel Yaron <me@eshelyaron.com>
Sat, 20 May 2023 14:52:17 +0000 (17:52 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 20 May 2023 14:52:17 +0000 (17:52 +0300)
commit0406742c335c91cfad4d185d2d68fc981bc5e40f
tree428f284db68b480ce983ff5c3afba299fc415c97
parent3bbeb414683bd74038c47a41136d8ed4f0a26286
ENHANCED: faster completion-at-point for predicates

Filter predicate completion candidates according to the text near
point before formatting and computing argument names.  This makes
completion-at-point for predicates much faster when there are lots of
known predicates.

* sweeprolog.el (sweeprolog-predicate-completion-at-point): Pass
(partial) functor at point to...
* sweep.pl (sweep_predicate_completion_candidates/2): Filter
predicates based on new Sub argument.
sweep.pl
sweeprolog.el