Merge pull request #1831 from zed-industries/theme-tweaks

Theme tweaks
6a07f59d34Nate Butler committed on 11/2/2022, 2:04:55 PM· committed by GitHubparents66b12837981cd4
64 files changedLine totals unavailable