From 88ad660c51b8690c49a87d05af0b222711db247c Mon Sep 17 00:00:00 2001
From: alschmiedt <aschmiedt@google.com>
Date: Thu, 30 Jan 2020 16:05:24 -0800
Subject: [PATCH] Remove check for same theme when refreshing (#3672)

* Remove check for same theme when refreshing
---
 core/theme.js         | 2 --
 core/theme_manager.js | 5 -----
 2 files changed, 7 deletions(-)

diff --git a/core/theme.js b/core/theme.js
index 70aa6fba2..802a91f3a 100644
--- a/core/theme.js
+++ b/core/theme.js
@@ -51,14 +51,12 @@ Blockly.Theme = function(name, blockStyles, categoryStyles,
   /**
    * The block styles map.
    * @type {!Object.<string, !Blockly.Theme.BlockStyle>}
-   * @package
    */
   this.blockStyles = blockStyles;
 
   /**
    * The category styles map.
    * @type {!Object.<string, Blockly.Theme.CategoryStyle>}
-   * @package
    */
   this.categoryStyles = categoryStyles;
 
diff --git a/core/theme_manager.js b/core/theme_manager.js
index 48003911e..23d011adc 100644
--- a/core/theme_manager.js
+++ b/core/theme_manager.js
@@ -90,11 +90,6 @@ Blockly.ThemeManager.prototype.getTheme = function() {
  * @package
  */
 Blockly.ThemeManager.prototype.setTheme = function(theme) {
-  if (this.theme_ === theme) {
-    // No change.
-    return;
-  }
-
   var prevTheme = this.theme_;
   this.theme_ = theme;