mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-30 06:05:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10
zed/crates/search2/src
History
Julia de523c2d80 Give correct focus handle when project search has no matches
2023-12-14 23:49:44 -05:00
..
buffer_search.rs Deploy the buffer search in a second row in the toolbar (#3630) 2023-12-13 13:06:53 -05:00
history.rs WIP: start search2 2023-11-13 20:38:37 +01:00
mode.rs buffer_search: Add tooltips, polish keybinds 2023-12-08 12:37:20 +01:00
project_search.rs Give correct focus handle when project search has no matches 2023-12-14 23:49:44 -05:00
search.rs Add inclusion of ignored files 2023-12-13 12:53:41 -08:00
search_bar.rs buffer_search: Add tooltips, polish keybinds 2023-12-08 12:37:20 +01:00