use them plugin theme monacoTheme if present

2025-03-01 10:36:34 +00:00 · 2021-07-25 15:16:49 +01:00
parent 142176f194
commit d7a2fc2be4
2 changed files with 39 additions and 2 deletions
--- a/packages/node_modules/@node-red/editor-api/lib/editor/theme.js
+++ b/packages/node_modules/@node-red/editor-api/lib/editor/theme.js
@@ -246,6 +246,7 @@ module.exports = {
                    theme.page = theme.page || {_:{}}
                    theme.page._.scripts = scriptFiles.concat(theme.page._.scripts || [])
                }
+                themeSettings.monacoTheme = themePlugin.monacoTheme;
            }
            activeThemeInitialised = true;
        }