Fix tab completion of % (random) pattern removing the % part of the input

Dieser Commit ist enthalten in:
dordsor21 2021-11-16 14:54:43 +00:00
Ursprung 5692ec54dd
Commit 9bf9885ffb
Es konnte kein GPG-Schlüssel zu dieser Signatur gefunden werden
GPG-Schlüssel-ID: 1E53E88969FFCF0B

Datei anzeigen

@ -33,17 +33,20 @@ public class RandomPatternParser extends InputParser<Pattern> {
} }
// get suggestions for the last token only // get suggestions for the last token only
String token = patterns.get(patterns.size() - 1); String token = patterns.get(patterns.size() - 1);
String randString = "";
String previous = String.join(",", patterns.subList(0, patterns.size() - 1)); String previous = String.join(",", patterns.subList(0, patterns.size() - 1));
if (token.matches("[0-9]+(\\.[0-9]*)?%.*")) { if (token.matches("[0-9]+(\\.[0-9]*)?%.*")) {
String[] p = token.split("%"); String[] p = token.split("%");
if (p.length < 2) { if (p.length < 2) {
return Stream.empty(); return Stream.empty();
} else { } else {
randString = p[0];
token = p[1]; token = p[1];
} }
} }
final List<String> innerSuggestions = worldEdit.getPatternFactory().getSuggestions(token); final List<String> innerSuggestions = worldEdit.getPatternFactory().getSuggestions(token);
return innerSuggestions.stream().map(s -> previous + "," + s); String prev = previous + "," + randString + "%";
return innerSuggestions.stream().map(s -> prev + s);
//FAWE end //FAWE end
} }