From 08049252f21221955dc6d391a9375967287e3423 Mon Sep 17 00:00:00 2001
From: Steve-Mcl <sdmclaughlin@gmail.com>
Date: Sat, 31 Jul 2021 10:24:48 +0100
Subject: [PATCH] permit plugin theme to change other monaco options

---
 packages/node_modules/@node-red/editor-api/lib/editor/theme.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/packages/node_modules/@node-red/editor-api/lib/editor/theme.js b/packages/node_modules/@node-red/editor-api/lib/editor/theme.js
index 918fed420..69c9345a0 100644
--- a/packages/node_modules/@node-red/editor-api/lib/editor/theme.js
+++ b/packages/node_modules/@node-red/editor-api/lib/editor/theme.js
@@ -247,8 +247,7 @@ module.exports = {
                     theme.page._.scripts = scriptFiles.concat(theme.page._.scripts || [])
                 }
                 if(theme.codeEditor) {
-                    theme.codeEditor.options = theme.codeEditor.options || {};
-                    theme.codeEditor.options.theme = themePlugin.monacoTheme;
+                    theme.codeEditor.options = Object.assign({}, theme.codeEditor.options, themePlugin.monacoOptions);
                 }
             }
             activeThemeInitialised = true;