From f91c6be2270879124d25d2264459ee750c1ef35f Mon Sep 17 00:00:00 2001
From: Tim Nguyen <ntim.bugs@gmail.com>
Date: Fri, 3 Jul 2015 04:33:00 -0400
Subject: [PATCH] Bug 1059877 - Add type=radio to toolbox frame popup
 menuitems. r=ochameau

---
 browser/devtools/framework/toolbox.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/browser/devtools/framework/toolbox.js b/browser/devtools/framework/toolbox.js
index cc2c2aae74f7..101eaac8a4c0 100644
--- a/browser/devtools/framework/toolbox.js
+++ b/browser/devtools/framework/toolbox.js
@@ -1541,6 +1541,7 @@ Toolbox.prototype = {
         }
         if (!item) {
           item = this.doc.createElement("menuitem");
+          item.setAttribute("type", "radio");
           item.setAttribute("data-window-id", win.id);
           if (win.parentID) {
             item.setAttribute("data-parent-id", win.parentID);