From 444b98e32fc5408770bd02684dfb21a603e5d9e8 Mon Sep 17 00:00:00 2001 From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com> Date: Tue, 1 Aug 2023 17:56:09 +0200 Subject: [PATCH] Update case insensitive button. Co-authored-by: Kyle --- assets/icons/case_insensitive_14.svg | 6 ++++++ crates/search/src/project_search.rs | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 assets/icons/case_insensitive_14.svg diff --git a/assets/icons/case_insensitive_14.svg b/assets/icons/case_insensitive_14.svg new file mode 100644 index 0000000000..79698872bc --- /dev/null +++ b/assets/icons/case_insensitive_14.svg @@ -0,0 +1,6 @@ + + + + + + diff --git a/crates/search/src/project_search.rs b/crates/search/src/project_search.rs index 546bbeea69..992f9b143b 100644 --- a/crates/search/src/project_search.rs +++ b/crates/search/src/project_search.rs @@ -1405,7 +1405,7 @@ impl View for ProjectSearchBar { let case_sensitive = if is_semantic_disabled { Some(self.render_option_button_icon( - "icons/word_search_12.svg", + "icons/case_insensitive_14.svg", SearchOptions::CASE_SENSITIVE, cx, ))