permit plugin theme to change other monaco options

This commit is contained in:
Steve-Mcl 2021-07-31 10:24:48 +01:00
parent 8a1d81989b
commit 08049252f2
1 changed files with 1 additions and 2 deletions

View File

@ -247,8 +247,7 @@ module.exports = {
theme.page._.scripts = scriptFiles.concat(theme.page._.scripts || []) theme.page._.scripts = scriptFiles.concat(theme.page._.scripts || [])
} }
if(theme.codeEditor) { if(theme.codeEditor) {
theme.codeEditor.options = theme.codeEditor.options || {}; theme.codeEditor.options = Object.assign({}, theme.codeEditor.options, themePlugin.monacoOptions);
theme.codeEditor.options.theme = themePlugin.monacoTheme;
} }
} }
activeThemeInitialised = true; activeThemeInitialised = true;