Move badge settings to decentralized data store, add preference for plugin badges

2023-12-07 22:44:41 +01:00
parent 0f6d636ca0
commit 2479fdbc03
15 changed files with 268 additions and 95 deletions
@@ -221,7 +221,7 @@ message Settings {
    bool cloud_files = 3;
    bool shortcuts = 4;
  }
-  BadgeSettings badges = 18;
+  BadgeSettings badges = 18 [deprecated = true];

  message GridSettings {
    uint32 column_count = 1;