]> git.eshelyaron.com Git - sweep.git/commit
projects / sweep.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 027f7e9) | patch
Support completion when reading a goal from the minibuffer
authorEshel Yaron <me@eshelyaron.com>
Thu, 12 Jan 2023 11:22:21 +0000 (13:22 +0200)
committerEshel Yaron <me@eshelyaron.com>
Thu, 12 Jan 2023 11:22:21 +0000 (13:22 +0200)
commit686db6f891115e67a00f4776c18875751764876c
treed51375821746acb9b9f0f381dfed6a054c664b00tree | snapshot
parent027f7e9a64a353db3438beab0a160dc8e644a481commit | diff
Support completion when reading a goal from the minibuffer

* sweeprolog.el (sweeprolog-read-goal-map): new keymap, derived from
sweeprolog-read-term-map.
(sweeprolog-goals-at-point): new function, similar to
sweeprolog-terms-at-point but only returns goal terms.
(sweeprolog-read-goal): use them.
sweeprolog.el diff | blob | history
SWI-Prolog Embedded in Emacs