Merge pull request #492 from zed-industries/editor-settings

Provide editor styling information separately from editor settings
826a458162Max Brunsfeld committed on 2/25/2022, 1:16:38 AM· committed by GitHubparents39ebaeb47b6540
18 files changedLine totals unavailable