From 2bca5fbdc2b6e4d0f5302b1d5a5b54a14e0b9fa9 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 7 Oct 2023 14:37:13 +0200 Subject: [PATCH] ; Improve user option docstring * sweeprolog.el (sweeprolog-query-replace-term-include-match-function): Improve docstring. --- sweeprolog.el | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/sweeprolog.el b/sweeprolog.el index 7e984c1..c1dfd23 100644 --- a/sweeprolog.el +++ b/sweeprolog.el @@ -5853,7 +5853,12 @@ describing a term matching the current execution of positions of the beginning and end of the matching term, and REP is the replacement string for that match. If this function returns nil, the corresponding match is filtered out and -`sweeprolog-query-replace-term' does not suggest replacing it.") +`sweeprolog-query-replace-term' does not suggest replacing it. + +`sweeprolog-extract-region-to-predicate' let-binds this variable +when it calls `sweeprolog-query-replace-term' to replace other +occurrences of the extracted goal in the current buffer, in order +to filter out the body of the clause that it just created.") ;;;###autoload (defun sweeprolog-query-replace-term (template replacement &optional condition class) -- 2.39.2