mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-08 13:16:33 +00:00
fixed background style when holding down select
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
92b6208a76
commit
a866bde4d1
@ -190,13 +190,15 @@ export class MonitorWidget extends ReactWidget {
|
|||||||
controlHeight: height,
|
controlHeight: height,
|
||||||
baseUnit: 2,
|
baseUnit: 2,
|
||||||
menuGutter: 4
|
menuGutter: 4
|
||||||
|
}, colors: {
|
||||||
|
...theme.colors,
|
||||||
|
// `primary50`??? it's crazy but apparently, without this, we would get a light-blueish
|
||||||
|
// color when selecting an option in the select by clicking and then not releasing the button.
|
||||||
|
// https://react-select.com/styles#overriding-the-theme
|
||||||
|
primary50: 'var(--theia-accent-color4)',
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
const DropdownIndicator = () => {
|
const DropdownIndicator = () => <span className='fa fa-caret-down caret' />;
|
||||||
return (
|
|
||||||
<span className='fa fa-caret-down caret'></span>
|
|
||||||
);
|
|
||||||
};
|
|
||||||
return <Select
|
return <Select
|
||||||
options={options}
|
options={options}
|
||||||
defaultValue={defaultValue}
|
defaultValue={defaultValue}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user