From: Eshel Yaron <me@eshelyaron.com>
Date: Sat, 7 Oct 2023 12:37:13 +0000 (+0200)
Subject: ; Improve user option docstring
X-Git-Tag: V9.1.16-sweep-0.25.3~3
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=2bca5fbdc2b6e4d0f5302b1d5a5b54a14e0b9fa9;p=sweep.git

; Improve user option docstring

* sweeprolog.el
(sweeprolog-query-replace-term-include-match-function): Improve docstring.
---

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)