Merge branch 'master' into future

# Conflicts:
#	src/main/java/carpet/settings/SettingsManager.java
This commit is contained in:
gnembon committed 2021-11-17 20:49:05 +01:00
commit 4cdb1bae28
3 files changed
+3 -3

No files matched your search

@@ -564,7 +564,7 @@ public class SettingsManager
smartSuggestionList.add(listItem);
}
// Regular prefix matching, reference: CommandSource.suggestMatching
if (CommandSource.shouldSuggest(query, listItem.toLowerCase())) {
if (CommandSource.shouldSuggest(query, listItem.toLowerCase(Locale.ROOT))) {
regularSuggestionList.add(listItem);
}
});