From 52b818ed67c5bfa7fd73edf2b067649b8b1f447b Mon Sep 17 00:00:00 2001
From: Sam El-Husseini <sam.elhusseini@gmail.com>
Date: Wed, 29 Apr 2020 14:32:26 -0700
Subject: [PATCH] Use the theme name if it exists (#3843)

---
 core/options.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/options.js b/core/options.js
index fd97f8d94..55406ed72 100644
--- a/core/options.js
+++ b/core/options.js
@@ -283,7 +283,7 @@ Blockly.Options.parseThemeOptions_ = function(options) {
   if (theme instanceof Blockly.Theme) {
     return /** @type {!Blockly.Theme} */ (theme);
   }
-  return Blockly.Theme.defineTheme('builtin', theme);
+  return Blockly.Theme.defineTheme(theme.name || 'builtin', theme);
 };
 
 /**