Merge pull request #2413 from zed-industries/project-search-focus

Preserve previous focus when re-focusing project search
3cb50ed6b7Max Brunsfeld committed on 4/25/2023, 4:33:09 PM· committed by GitHubparentsc31a5063db67a4
1 file changedLine totals unavailable