Merge pull request #3084 from Steve-Mcl/theme-monaco-theme

Permit plugin theme to theme monaco editor
This commit is contained in:
Nick O'Leary
2021-10-05 10:42:08 +01:00
committed by GitHub
2 changed files with 37 additions and 10 deletions

View File

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