From 8bd02d0c36341331127f9b62ff489fbabe612871 Mon Sep 17 00:00:00 2001
From: Steve-Mcl <sdmclaughlin@gmail.com>
Date: Wed, 13 Jul 2022 20:36:27 +0100
Subject: [PATCH] update header url if set in theme and not settings

---
 .../node_modules/@node-red/editor-api/lib/editor/theme.js   | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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 d74a5d251..7be8868d3 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
@@ -299,7 +299,7 @@ module.exports = {
                             theme.page._.tabicon.colour = themeContext.page.tabicon.colour
                         }
                     }
-                    // if the plugin has a title AND the users settings.js does NOT have a title
+                    // if the plugin has a title AND the users settings.js does NOT
                     if (themePlugin.page.title && !theme.page.title) {
                         themeContext.page.title = themePlugin.page.title || themeContext.page.title
                     }
@@ -322,6 +322,10 @@ module.exports = {
                     if (themePlugin.header.title && !theme.header.title) {
                         themeContext.header.title = themePlugin.header.title || themeContext.header.title
                     }
+                    // if the plugin has a header url AND the users settings.js does NOT
+                    if (themePlugin.header.url && !theme.header.url) {
+                        themeContext.header.url = themePlugin.header.url || themeContext.header.url
+                    }
                 }
                 if(theme.codeEditor) {
                     theme.codeEditor.options = Object.assign({}, themePlugin.monacoOptions, theme.codeEditor.options);