Add ability to expand pinned tags to multiple lines

2023-03-11 00:26:02 +01:00
parent eae063879c
commit c37b280d29
8 changed files with 261 additions and 129 deletions
@@ -343,4 +343,13 @@ message Settings {
    WeightFactor weight_factor = 2;
  }
  SearchResultOrderingSettings result_ordering = 29;
+
+  /**
+    * Persistent UI state that does not have a corresponding setting.
+   */
+  message UiState {
+    bool search_tags_multiline = 1;
+    bool widget_tags_multiline = 2;
+  }
+  UiState ui = 30;
 }