mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-11 12:46:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11
zed/crates/search/src
History
Antonio Scandurra 3117554568 Automatically unfollow when editing, scrolling or changing selections
2022-03-22 09:17:01 +01:00
..
buffer_search.rs Automatically unfollow when editing, scrolling or changing selections 2022-03-22 09:17:01 +01:00
project_search.rs Automatically unfollow when editing, scrolling or changing selections 2022-03-22 09:17:01 +01:00
search.rs Extract a common match_index_for_direction and active_match_index 2022-02-28 10:34:11 +01:00