jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-06-28 03:45:36 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix sorting of fuzzy results

Browse source
This commit is contained in:
Jan Koll 2025-06-27 17:28:18 +02:00
parent 3917e34239
commit 90c6147fc9
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
app/src/main/java/de/jrpie/android/launcher/apps/AppFilter.kt
View file

@ -24,7 +24,6 @@ class AppFilter(
operator fun invoke(apps: List<AbstractDetailedAppInfo>): List<AbstractDetailedAppInfo> {
var apps =
apps.sortedBy { app -> app.getCustomLabel(context).lowercase(Locale.ROOT) }
val hidden = LauncherPreferences.apps().hidden() ?: setOf()
val favorites = LauncherPreferences.apps().favorites() ?: setOf()
val private = apps.filter { it.isPrivate() }
@ -94,7 +93,7 @@ class AppFilter(
r.addAll(result.keys)
}
}
return r.toList()
return r.toList().sortedBy { it.getCustomLabel(context).lowercase(Locale.ROOT) }
}