add theme for search mode option buttons, and adjust padding

Co-authored-by: Piotr <piotr@zed.dev>
2023-08-02 11:23:55 -04:00
parent e0eaf23c28
commit caaa4b1618
3 changed files with 75 additions and 47 deletions
@@ -387,6 +387,8 @@ pub struct Search {
    pub minor_results_status: TextStyle,
    pub dismiss_button: Interactive<IconButton>,
    pub editor_icon: IconStyle,
+    pub mode_button: Toggleable<Interactive<ContainedText>>,
+    pub mode_filling_width: f32,
 }

 #[derive(Clone, Deserialize, Default, JsonSchema)]