Add preference to hide widget edit button

2022-09-27 21:06:07 +02:00
parent 9309cd4891
commit fc6d1d382c
8 changed files with 181 additions and 103 deletions
@@ -155,6 +155,10 @@ fun createFactorySettings(context: Context): Settings {
                .setRadius(8)
                .setOpacity(1f)
        )
+        .setWidgets(
+            Settings.WidgetSettings.newBuilder()
+                .setEditButton(true)
+        )
        .build()
 }

@@ -2,13 +2,18 @@ package de.mm20.launcher2.preferences.migrations

 import de.mm20.launcher2.preferences.Settings

-class Migration_9_10: VersionedMigration(9, 10) {
+class Migration_9_10 : VersionedMigration(9, 10) {
    override suspend fun applyMigrations(builder: Settings.Builder): Settings.Builder {
-        return builder.setFavorites(
-            builder.favorites.toBuilder()
-                .setFrequentlyUsed(true)
-                .setFrequentlyUsedRows(1)
-                .setEditButton(true)
-        )
+        return builder
+            .setFavorites(
+                builder.favorites.toBuilder()
+                    .setFrequentlyUsed(true)
+                    .setFrequentlyUsedRows(1)
+                    .setEditButton(true)
+            )
+            .setWidgets(
+                Settings.WidgetSettings.newBuilder()
+                    .setEditButton(true)
+            )
    }
 }
@@ -259,4 +259,9 @@ message Settings {
    bool enabled = 1;
  }
  AppShortcutSearchSettings app_shortcut_search = 25;
+
+  message WidgetSettings {
+    bool edit_button = 1;
+  }
+  WidgetSettings widgets = 26;
 }