Julia de9c58d216 Merge pull request #1983 from zed-industries/multi-buffer-git-gutter ...

Multi buffer git gutter

2022-12-19 10:53:42 -05:00

..

buffer_search.rs

wip

2022-12-03 16:06:01 -08:00

project_search.rs

Merge pull request #1983 from zed-industries/multi-buffer-git-gutter

2022-12-19 10:53:42 -05:00

search.rs

SearchableItem trait is completed and editor searches appear to be working

2022-08-30 15:37:54 -07:00