RSS-117: Fixed problem in finding positions with same words

This commit is contained in:
deiflaender 2022-11-09 16:05:46 +01:00
parent a2d0182db8
commit 027b4cd5b3

View File

@ -121,7 +121,7 @@ public class SearchableText {
} else {
counter = 0;
if (!crossSequenceParts.isEmpty()) {
j--;
j=j-partMatch.length() - 1;
}
crossSequenceParts = new ArrayList<>();
partMatch = new TextPositionSequence(searchSpace.get(i).getPage());