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
|
/* 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/. */
/* eslint-env browser */
"use strict";
const {
PureComponent,
} = require("resource://devtools/client/shared/vendor/react.js");
const dom = require("resource://devtools/client/shared/vendor/react-dom-factories.js");
const PropTypes = require("resource://devtools/client/shared/vendor/react-prop-types.js");
const {
getStr,
getFormatStr,
} = require("resource://devtools/client/responsive/utils/l10n.js");
const Types = require("resource://devtools/client/responsive/types.js");
loader.lazyRequireGetter(
this,
"showMenu",
"resource://devtools/client/shared/components/menu/utils.js",
true
);
const PIXEL_RATIO_PRESET = [1, 2, 3];
class DevicePixelRatioMenu extends PureComponent {
static get propTypes() {
return {
devices: PropTypes.shape(Types.devices).isRequired,
displayPixelRatio: PropTypes.number.isRequired,
onChangePixelRatio: PropTypes.func.isRequired,
selectedDevice: PropTypes.string.isRequired,
selectedPixelRatio: PropTypes.number.isRequired,
};
}
constructor(props) {
super(props);
this.onShowDevicePixelMenu = this.onShowDevicePixelMenu.bind(this);
}
onShowDevicePixelMenu(event) {
const { displayPixelRatio, onChangePixelRatio, selectedPixelRatio } =
this.props;
const menuItems = PIXEL_RATIO_PRESET.map(value => {
return {
label: getFormatStr("responsive.devicePixelRatioOption", value),
type: "checkbox",
checked:
selectedPixelRatio > 0
? selectedPixelRatio === value
: displayPixelRatio === value,
click: () => onChangePixelRatio(+value),
};
});
showMenu(menuItems, {
button: event.target,
});
}
render() {
const { devices, displayPixelRatio, selectedDevice, selectedPixelRatio } =
this.props;
const isDisabled =
devices.listState !== Types.loadableState.LOADED || selectedDevice !== "";
let title;
if (isDisabled) {
title = getFormatStr("responsive.devicePixelRatio.auto", selectedDevice);
} else {
title = getStr("responsive.changeDevicePixelRatio");
}
return dom.button(
{
id: "device-pixel-ratio-menu",
className: "devtools-button devtools-dropdown-button",
disabled: isDisabled,
title,
onClick: this.onShowDevicePixelMenu,
},
dom.span(
{ className: "title" },
getFormatStr(
"responsive.devicePixelRatioOption",
selectedPixelRatio || displayPixelRatio
)
)
);
}
}
module.exports = DevicePixelRatioMenu;
|