Bug 1266128 - Rename about debugging Tab(s) to Panel(s). r=janx

devtools/client/aboutdebugging/components/panel-menu.js

@@ -0,0 +1,26 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+"use strict";
+
+const { createClass, createFactory, DOM: dom } =
+  require("devtools/client/shared/vendor/react");
+const PanelMenuEntry = createFactory(require("./panel-menu-entry"));
+
+module.exports = createClass({
+  displayName: "PanelMenu",
+
+  render() {
+    let { panels, selectedPanelId, selectPanel } = this.props;
+    let panelLinks = panels.map(({ id, panelId, name, icon }) => {
+      let selected = id == selectedPanelId;
+      return PanelMenuEntry({
+        id, panelId, name, icon, selected, selectTab
+      });
+    });
+
+    // "categories" id used for styling purposes
+    return dom.div({ id: "categories", role: "tablist" }, panelLinks);
+  },
+});