use codeEditor.options.theme

This commit is contained in:
Steve-Mcl
2021-07-26 21:02:11 +01:00
parent d7a2fc2be4
commit 8a1d81989b
2 changed files with 23 additions and 32 deletions

View File

@@ -246,7 +246,10 @@ module.exports = {
theme.page = theme.page || {_:{}}
theme.page._.scripts = scriptFiles.concat(theme.page._.scripts || [])
}
themeSettings.monacoTheme = themePlugin.monacoTheme;
if(theme.codeEditor) {
theme.codeEditor.options = theme.codeEditor.options || {};
theme.codeEditor.options.theme = themePlugin.monacoTheme;
}
}
activeThemeInitialised = true;
}