Fix for for various UI elements being incorrectly styled.

[jonathan-annett]

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"));