/* 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;