Use a git file icon for toggle gitignored search option

2023-11-22 19:09:10 +02:00
parent 566857b0b7
commit 71e9bd8fa3
1 changed files with 1 additions and 2 deletions
@@ -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,
                )