From 84abd2cc9a1875211354bacf5d2e2392869a03cd Mon Sep 17 00:00:00 2001
From: Alexandre Poirot <poirot.alex@gmail.com>
Date: Tue, 25 Oct 2016 03:18:28 -0700
Subject: [PATCH] Bug 1311789: Fix the missing "Themes" legend in devtools
 options panel. r=jryans

MozReview-Commit-ID: 6ZpXntxvk3w

--HG--
extra : rebase_source : d129842a1dc81cce318e8e4e9e78ad5455bca8e4
---
 devtools/client/framework/toolbox-options.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/devtools/client/framework/toolbox-options.js b/devtools/client/framework/toolbox-options.js
index 92d7218d7af6..c480825f1cb0 100644
--- a/devtools/client/framework/toolbox-options.js
+++ b/devtools/client/framework/toolbox-options.js
@@ -256,7 +256,10 @@ OptionsPanel.prototype = {
 
   setupThemeList: function () {
     let themeBox = this.panelDoc.getElementById("devtools-theme-box");
-    themeBox.innerHTML = "";
+    let themeLabels = themeBox.querySelectorAll("label");
+    for (let label of themeLabels) {
+      label.remove();
+    }
 
     let createThemeOption = theme => {
       let inputLabel = this.panelDoc.createElement("label");