WIP

2022-01-27 16:16:51 -08:00
parent 4f0ffdcdaf
commit da35df0cca
5 changed files with 118 additions and 6 deletions
@@ -321,3 +321,31 @@ tab_summary_spacing = 10

 [find]
 match_background = "$state.highlighted_line"
+
+[find.mode_button]
+extends = "$text.1"
+
+[find.mode_button_group]
+corner_radius = 6
+border = { width = 1, color = "$border.0" }
+
+[find.active_mode_button]
+extends = "$find.mode_button"
+background = "$surface.2"
+
+[find.hovered_mode_button]
+extends = "$find.mode_button"
+background = "$surface.2"
+
+[find.active_hovered_mode_button]
+extends = "$find.mode_button"
+background = "$surface.2"
+
+[find.query]
+background = "$surface.1"
+corner_radius = 6
+padding = { left = 16, right = 16, top = 7, bottom = 7 }
+text = "$text.0"
+placeholder_text = "$text.2"
+selection = "$selection.host"
+border = { width = 1, color = "$border.0" }