Add search filters

2024-04-21 01:30:33 +02:00
parent 3c489fc648
commit 58ebd5646b
14 changed files with 574 additions and 98 deletions
@@ -915,4 +915,6 @@
    <string name="clock_style_custom">Custom widget</string>
    <string name="clock_variant_standard">Standard</string>
    <string name="clock_variant_outlined">Outlined</string>
+    <string name="search_filter_tools">Tools</string>
+    <string name="search_filter_online">Online results</string>
 </resources>
@@ -0,0 +1,5 @@
+package de.mm20.launcher2.ktx
+
+inline fun Boolean.toInt(): Int {
+    return if (this) 1 else 0
+}