KaiOS device plugin for recording memory allocations
Summary:
This adds basic plugin for recording memory allocations.
{F224005997}
Reviewed By: passy
Differential Revision: D18837209
fbshipit-source-id: aa29680b3a44c51135b760fe4ee76edc6d0ec109
This commit is contained in:
committed by
Facebook Github Bot
parent
cf512e5b83
commit
c7af0b53e6
@@ -51,6 +51,9 @@ export default class Select extends Component<{
|
||||
label?: string;
|
||||
/** Select box should take all available space */
|
||||
grow?: boolean;
|
||||
|
||||
/** Whether the user can interact with the select and change the selcted option */
|
||||
disabled?: boolean;
|
||||
}> {
|
||||
selectID: string = Math.random().toString(36);
|
||||
|
||||
@@ -64,7 +67,7 @@ export default class Select extends Component<{
|
||||
};
|
||||
|
||||
render() {
|
||||
const {className, options, selected, label, grow} = this.props;
|
||||
const {className, options, selected, label, grow, disabled} = this.props;
|
||||
|
||||
let select = (
|
||||
<SelectMenu
|
||||
@@ -72,6 +75,7 @@ export default class Select extends Component<{
|
||||
id={this.selectID}
|
||||
onChange={this.onChange}
|
||||
className={className}
|
||||
disabled={disabled}
|
||||
value={selected || ''}>
|
||||
{Object.keys(options).map((key, index) => (
|
||||
<option value={key} key={index}>
|
||||
|
||||
Reference in New Issue
Block a user