1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
/* 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 {
Component,
} = require("resource://devtools/client/shared/vendor/react.js");
const PropTypes = require("resource://devtools/client/shared/vendor/react-prop-types.js");
const dom = require("resource://devtools/client/shared/vendor/react-dom-factories.js");
const { img, button, span } = dom;
class ToolboxTab extends Component {
// See toolbox-toolbar propTypes for details on the props used here.
static get propTypes() {
return {
currentToolId: PropTypes.string,
focusButton: PropTypes.func,
focusedButton: PropTypes.string,
highlightedTools: PropTypes.object.isRequired,
panelDefinition: PropTypes.object,
selectTool: PropTypes.func,
};
}
constructor(props) {
super(props);
this.renderIcon = this.renderIcon.bind(this);
}
renderIcon(definition) {
const { icon } = definition;
if (!icon) {
return [];
}
return [
img({
alt: "",
src: icon,
}),
];
}
render() {
const {
panelDefinition,
currentToolId,
highlightedTools,
selectTool,
focusedButton,
focusButton,
} = this.props;
const { id, extensionId, tooltip, label, iconOnly, badge } =
panelDefinition;
const isHighlighted = id === currentToolId;
const className = [
"devtools-tab",
currentToolId === id ? "selected" : "",
highlightedTools.has(id) ? "highlighted" : "",
iconOnly ? "devtools-tab-icon-only" : "",
].join(" ");
return button(
{
className,
id: `toolbox-tab-${id}`,
"data-id": id,
"data-extension-id": extensionId,
title: tooltip,
type: "button",
"aria-pressed": currentToolId === id ? "true" : "false",
tabIndex: focusedButton === id ? "0" : "-1",
onFocus: () => focusButton(id),
onMouseDown: () => selectTool(id, "tab_switch"),
onKeyDown: evt => {
if (evt.key === "Enter" || evt.key === " ") {
selectTool(id, "tab_switch");
}
},
},
span({
className: "devtools-tab-line",
}),
...this.renderIcon(panelDefinition),
iconOnly
? null
: span(
{
className: "devtools-tab-label",
},
label,
badge && !isHighlighted
? span(
{
className: "devtools-tab-badge",
},
badge
)
: null
)
);
}
}
module.exports = ToolboxTab;
|
