Better logging when deprecated editorTheme.palette.* settings used

This commit is contained in:
Nick O'Leary
2021-01-06 17:36:59 +00:00
parent 5743a5f91d
commit af19536222
5 changed files with 25 additions and 7 deletions

View File

@@ -362,6 +362,14 @@ function uninstallModule(module) {
}
async function checkPrereq() {
if (settings.editorTheme && settings.editorTheme.palette) {
if (settings.editorTheme.palette.hasOwnProperty("editable")) {
log.warn(log._("server.deprecatedOption",{old:"editorTheme.palette.editable", new:"externalModules.palette.allowInstall"}));
}
if (settings.editorTheme.palette.hasOwnProperty("upload")) {
log.warn(log._("server.deprecatedOption",{old:"editorTheme.palette.upload", new:"externalModules.palette.allowUpload"}));
}
}
try {
if (settings.editorTheme.palette.editable === false) {