From 4b71b4f80a7920e75fff400d74d509e1aadfbf8d Mon Sep 17 00:00:00 2001 From: Antsiferov Andrew Date: Mon, 4 Jan 2021 18:33:43 +0300 Subject: [PATCH] Make mod browser case insensitive (#4258) --- core/src/mindustry/ui/dialogs/ModsDialog.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/src/mindustry/ui/dialogs/ModsDialog.java b/core/src/mindustry/ui/dialogs/ModsDialog.java index 75dbdca5c7..ec704500bb 100644 --- a/core/src/mindustry/ui/dialogs/ModsDialog.java +++ b/core/src/mindustry/ui/dialogs/ModsDialog.java @@ -175,7 +175,7 @@ public class ModsDialog extends BaseDialog{ tablebrow.clear(); for(ModListing mod : listings){ - if(mod.hasJava || !searchtxt.isEmpty() && !mod.repo.contains(searchtxt) || (Vars.ios && mod.hasScripts)) continue; + if(mod.hasJava || !searchtxt.isEmpty() && !mod.repo.toLowerCase().contains(searchtxt.toLowerCase()) || (Vars.ios && mod.hasScripts)) continue; tablebrow.button(btn -> { btn.top().left();