From 90c6147fc9c9105d8f1634e7ac5ae360fe3f2ae2 Mon Sep 17 00:00:00 2001 From: Jan Koll Date: Fri, 27 Jun 2025 17:28:18 +0200 Subject: [PATCH] Fix sorting of fuzzy results --- app/src/main/java/de/jrpie/android/launcher/apps/AppFilter.kt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/app/src/main/java/de/jrpie/android/launcher/apps/AppFilter.kt b/app/src/main/java/de/jrpie/android/launcher/apps/AppFilter.kt index d1566e4..521a1fe 100644 --- a/app/src/main/java/de/jrpie/android/launcher/apps/AppFilter.kt +++ b/app/src/main/java/de/jrpie/android/launcher/apps/AppFilter.kt @@ -24,7 +24,6 @@ class AppFilter( operator fun invoke(apps: List): List { 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) } }