Merge pull request #1476 from zed-industries/update-default-theme

Use One Dark as the default theme.
96d5dcadf1Nate Butler committed on 8/5/2022, 5:07:03 PM· committed by GitHubparents67713a5ffce2cb
1 file changedLine totals unavailable