Merge pull request #2285 from zed-industries/fix-failed-theme-setting

Fix failed theme setting
7af9dda869Mikayla Maki committed on 3/14/2023, 5:10:39 PM· committed by GitHubparents2a5ac4fd8a3f16
1 file changedLine totals unavailable