]> git.eshelyaron.com Git - dict.git/commit
ADDED: command for sending a goal to top-level from any buffer
authorEshel Yaron <me@eshelyaron.com>
Thu, 12 Jan 2023 11:27:17 +0000 (13:27 +0200)
committerEshel Yaron <me@eshelyaron.com>
Thu, 12 Jan 2023 11:27:17 +0000 (13:27 +0200)
commiteb2608bc6459e6f25159e98c0f80ec4e142820e5
tree94b01ca644b5f0539e466a3c78a42ffb7a8d147e
parent686db6f891115e67a00f4776c18875751764876c
ADDED: command for sending a goal to top-level from any buffer

* sweeprolog.el (sweeprolog-top-level): extract buffer setup logic to...
(sweeprolog-top-level-buffer): new function.
(sweeprolog-top-level-send-string): new function, used by...
(sweeprolog-top-level-send-goal): new command, reads a goal from the
minibuffer and sends it to a Prolog top-level buffer.
(sweeprolog-mode-map): bind it to C-c C-q.
(sweeprolog-menu): add "Send Goal to Top-level" entry.
* README.org ("Sending Goals to the Top-level"): new manual section.
README.org
sweeprolog.el