From 71e9bd8fa3536fa3f478a0bcaa2200961f84161c Mon Sep 17 00:00:00 2001 From: Kirill Bulatov Date: Wed, 22 Nov 2023 19:09:10 +0200 Subject: [PATCH] Use a git file icon for toggle gitignored search option --- crates/search/src/project_search.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/crates/search/src/project_search.rs b/crates/search/src/project_search.rs index 07e620717ac299e8bf20718581252651653d51be..b630a05822d99beb759f7a88f894d6ade1c1d657 100644 --- a/crates/search/src/project_search.rs +++ b/crates/search/src/project_search.rs @@ -1770,8 +1770,7 @@ impl View for ProjectSearchBar { let include_ignored = is_semantic_disabled.then(|| { render_option_button_icon( - // TODO proper icon - "icons/case_insensitive.svg", + "icons/file_icons/git.svg", SearchOptions::INCLUDE_IGNORED, cx, )