From 39f5078d6bf871dee71be01e52d954175b840e87 Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Mon, 4 Apr 2016 22:30:19 +0100
Subject: [PATCH] Return editorTheme default if value is undefined

---
 editor/js/settings.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/editor/js/settings.js b/editor/js/settings.js
index 24c8d0519..b1217765f 100644
--- a/editor/js/settings.js
+++ b/editor/js/settings.js
@@ -129,6 +129,9 @@ RED.settings = (function () {
             for (var i=0;i<parts.length;i++) {
                 v = v[parts[i]];
             }
+            if (v === undefined) {
+                return defaultValue;
+            }
             return v;
         } catch(err) {
             return defaultValue;