Make mod browser case insensitive (#4258)

This commit is contained in:
Antsiferov Andrew
2021-01-04 18:33:43 +03:00
committed by GitHub
parent af636f74fc
commit 4b71b4f80a

View File

@@ -175,7 +175,7 @@ public class ModsDialog extends BaseDialog{
tablebrow.clear(); tablebrow.clear();
for(ModListing mod : listings){ 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 -> { tablebrow.button(btn -> {
btn.top().left(); btn.top().left();