Merge pull request #864 from zed-industries/polish-project-panel

Sort directories before files in a case-insensitive manner
066e572767Max Brunsfeld committed on 4/21/2022, 6:48:04 PM· committed by GitHubparentsf9cd1b2953256b
3 files changedLine totals unavailable