Antonio Scandurra 7fa7b7e507 Unfold range when selecting the next match ...

Selected matches are unfolded when in project search, buffer search and
when hitting `cmd-d` to select the next match.

2022-03-24 17:16:21 +01:00

..

buffer_search.rs

Unfold range when selecting the next match

2022-03-24 17:16:21 +01:00

project_search.rs

Unfold range when selecting the next match

2022-03-24 17:16:21 +01:00

search.rs

Extract a common match_index_for_direction and active_match_index

2022-02-28 10:34:11 +01:00