fix(gtk): case insensitive local search
This commit is contained in:
parent
0176698242
commit
ac6099f813
@ -89,7 +89,7 @@ class ModsTab(window: InstanceSettingsWindow) : SettingsTab<Leaflet, InstanceSet
|
||||
val mods = window.instance.mds.mods // avoid instance.mods to allow rendering before MDS is finished
|
||||
loadingRevealer.setProgress((mods.filter { mds.hasScanned(it) }.size.toDouble() / mods.size))
|
||||
for (mod in mods) {
|
||||
if (mod.name.contains(currentSearchString)) {
|
||||
if (mod.name.contains(currentSearchString, true)) {
|
||||
//TODO improve this search
|
||||
this@ModsTab.mods[mod.name] = ModState.Installed(mod)
|
||||
toShow.add(mod.name)
|
||||
|
Loading…
Reference in New Issue
Block a user