Merge pull request #1380 from zed-industries/theme-improvements

Theme improvements
d76cdb01beNate Butler committed on 7/20/2022, 2:40:09 PM· committed by GitHubparentsc2868a355dee53
64 files changedLine totals unavailable