]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: allow sweeprolog-forward-hole to wrap around
authorEshel Yaron <me@eshelyaron.com>
Fri, 18 Nov 2022 09:05:22 +0000 (11:05 +0200)
committerEshel Yaron <me@eshelyaron.com>
Fri, 18 Nov 2022 09:05:22 +0000 (11:05 +0200)
commitf4ca9b140479880b9148734b8be76b50b158d112
treec179bee2c32b21ab36b2afeef06cfe81faf62796
parent6dd5a5c6590fdf1142bf2afa35c28923d34d4c6e
ENHANCED: allow sweeprolog-forward-hole to wrap around

* sweeprolog.el (sweeprolog--next-hole, sweeprolog--previous-hole):
new functions.
(sweeprolog--forward-hole, sweeprolog--backward-hole): add WRAP arg.
sweeprolog.el