Add option to not scroll the search bar out of view

2023-01-21 14:00:30 +01:00
parent b0f3ddf325
commit 1ad18f14ad
9 changed files with 35 additions and 3 deletions
@@ -732,6 +732,8 @@
    <string name="preference_layout_search_results">Arrangement of search results</string>
    <string name="search_results_order_top_down">Top-down</string>
    <string name="search_results_order_bottom_up">Bottom-up</string>
+    <string name="preference_layout_fixed_search_bar">Fixed search bar</string>
+    <string name="preference_layout_fixed_search_bar_summary">Don\'t scroll the search bar out of view</string>
    <string name="preference_screen_gestures">Gestures</string>
    <string name="preference_screen_gestures_summary">Gestures and gesture actions</string>
    <string name="preference_gesture_swipe_down">Swipe down</string>
@@ -297,6 +297,7 @@ message Settings {
    Layout base_layout = 1;
    bool bottom_search_bar = 2;
    bool reverse_search_results = 3;
+    bool fixed_search_bar = 4;
  }
  LayoutSettings layout = 27;