Piotr Osiewicz d37ebe7841 Add option_button_height style

2023-08-14 12:10:37 +02:00

..

buffer_search.rs

Style nav buttons

2023-08-13 01:29:35 +02:00

history.rs

Move SearchMode and SearchHistory to separate modules

2023-08-08 14:14:39 +02:00

mode.rs

Style dismiss button.

2023-08-13 01:06:35 +02:00

project_search.rs

project_search: Swap places of case-sens/whole-word

2023-08-14 11:59:42 +02:00

search_bar.rs

Add option_button_height style

2023-08-14 12:10:37 +02:00

search.rs

Remove buttonside, use new corner_radii instead

2023-08-12 22:18:27 +02:00