Allow codeEditor theme to be set missing from settings.js

This commit is contained in:
Steve-Mcl 2022-07-21 14:44:29 +01:00
parent 1b94cc3ac0
commit bc7852c1cc
1 changed files with 2 additions and 3 deletions

View File

@ -327,9 +327,8 @@ module.exports = {
themeContext.header.url = themePlugin.header.url || themeContext.header.url
}
}
if(theme.codeEditor) {
theme.codeEditor.options = Object.assign({}, themePlugin.monacoOptions, theme.codeEditor.options);
}
theme.codeEditor = theme.codeEditor || {}
theme.codeEditor.options = Object.assign({}, themePlugin.monacoOptions, theme.codeEditor.options);
}
activeThemeInitialised = true;
}