Merge pull request #2145 from zed-industries/fix-focus-in-project-search

Focus results editor only when starting a new project search
952cdb4e98Antonio Scandurra committed on 2/8/2023, 5:25:02 PM· committed by GitHubparents37c052f76c066b
1 file changedLine totals unavailable