codeEditor.options should take precedence

- over plugins monacoOptions
This commit is contained in:
Steve-Mcl 2021-09-21 14:12:21 +01:00
parent 5825da9c76
commit c20ca3399e
1 changed files with 1 additions and 1 deletions

View File

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