DropDownListWidget: Fix the search string not being case-insensitive

maruohon · Jul 2, 2022 · 2f6d1a7 · 2f6d1a7
1 parent 9a3a928
commit 2f6d1a7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/java/fi/dy/masa/malilib/gui/widget/DropDownListWidget.java b/src/main/java/fi/dy/masa/malilib/gui/widget/DropDownListWidget.java
@@ -2,6 +2,7 @@
 
 import java.util.ArrayList;
 import java.util.List;
+import java.util.Locale;
 import java.util.function.Function;
 import java.util.function.IntSupplier;
 import java.util.function.Supplier;
@@ -556,7 +557,8 @@ protected void updateFilteredEntries(String searchText)
 
     protected boolean entryMatchesFilter(T entry, String filterText)
     {
-        return filterText.isEmpty() || this.getDisplayString(entry).toLowerCase().contains(filterText);
+        return filterText.isEmpty() ||
+               this.getDisplayString(entry).toLowerCase(Locale.ROOT).contains(filterText.toLowerCase(Locale.ROOT));
     }
 
     protected int getRequiredWidth(List<T> entriesIn,