mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-05 18:25:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12
zed/crates/search/src
History
Antonio Scandurra 88d8696414 Display tooltip for select prev/next match buttons
2022-06-16 14:37:33 +02:00
..
buffer_search.rs Display tooltip for select prev/next match buttons 2022-06-16 14:37:33 +02:00
project_search.rs Display tooltip for select prev/next match buttons 2022-06-16 14:37:33 +02:00
search.rs Allow toggling search options via the command palette 2022-06-16 14:28:37 +02:00