Add a preference to hide the edit favorites button

preferences/src/main/java/de/mm20/launcher2/preferences/Defaults.kt

@@ -59,6 +59,7 @@ fun createFactorySettings(context: Context): Settings {
                 .setEnabled(true)
                 .setFrequentlyUsed(true)
                 .setFrequentlyUsedRows(1)
+                .setEditButton(true)
         )
         .setFileSearch(
             Settings.FilesSearchSettings

preferences/src/main/java/de/mm20/launcher2/preferences/migrations/Migration_9_10.kt

@@ -8,6 +8,7 @@ class Migration_9_10: VersionedMigration(9, 10) {
             builder.favorites.toBuilder()
                 .setFrequentlyUsed(true)
                 .setFrequentlyUsedRows(1)
+                .setEditButton(true)
         )
     }
 }

preferences/src/main/proto/settings.proto

@@ -128,6 +128,7 @@ message Settings {
     bool enabled = 1;
     bool frequently_used = 2;
     int32 frequently_used_rows = 3;
+    bool edit_button = 4;
   }
   FavoritesSettings favorites = 8;