search

zedapp / zed

Rethinking code editing.
http://zedapp.org
MIT License
2.22k stars 161 forks source link

Fix for for various UI elements being incorrectly styled. #609

Open jonathan-annett opened 3 years ago

jonathan-annett commented 3 years ago

Issue:

Various UI elements are incorrectly styled

Reason

theme.js incorrectly references config.getTheme instead of config.getEditorTheme

Solution

change /app/js/theme.js line 85 - currently

            var theme = config.getTheme(config.getPreference("editorTheme"));

change to

            var theme = config.getEditorTheme(config.getPreference("editorTheme"));

change /app/js/theme.js line 113 - currently

            var theme = config.getTheme(config.getPreference("windowTheme"));

change to

            var theme = config.getEditorTheme(config.getPreference("windowTheme"));