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
107
108
|
/* 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 {
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 {
connect,
} = require("resource://devtools/client/shared/vendor/react-redux.js");
const {
getFormatStr,
} = require("resource://devtools/client/inspector/animation/utils/l10n.js");
const PLAYBACK_RATES = [0.1, 0.25, 0.5, 1, 2, 5, 10];
class PlaybackRateSelector extends PureComponent {
static get propTypes() {
return {
animations: PropTypes.arrayOf(PropTypes.object).isRequired,
playbackRates: PropTypes.arrayOf(PropTypes.number).isRequired,
setAnimationsPlaybackRate: PropTypes.func.isRequired,
};
}
static getDerivedStateFromProps(props) {
const { animations, playbackRates } = props;
const currentPlaybackRates = sortAndUnique(
animations.map(a => a.state.playbackRate)
);
const options = sortAndUnique([
...PLAYBACK_RATES,
...playbackRates,
...currentPlaybackRates,
]);
if (currentPlaybackRates.length === 1) {
return {
options,
selected: currentPlaybackRates[0],
};
}
// When the animations displayed have mixed playback rates, we can't
// select any of the predefined ones.
return {
options: ["", ...options],
selected: "",
};
}
constructor(props) {
super(props);
this.state = {
options: [],
selected: 1,
};
}
onChange(e) {
const { setAnimationsPlaybackRate } = this.props;
if (!e.target.value) {
return;
}
setAnimationsPlaybackRate(e.target.value);
}
render() {
const { options, selected } = this.state;
return dom.select(
{
className: "playback-rate-selector devtools-button",
onChange: this.onChange.bind(this),
},
options.map(rate => {
return dom.option(
{
selected: rate === selected ? "true" : null,
value: rate,
},
rate ? getFormatStr("player.playbackRateLabel", rate) : "-"
);
})
);
}
}
function sortAndUnique(array) {
return [...new Set(array)].sort((a, b) => a > b);
}
const mapStateToProps = state => {
return {
playbackRates: state.animations.playbackRates,
};
};
module.exports = connect(mapStateToProps)(PlaybackRateSelector);
|
