jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-13 06:16:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

aligned select height with Theia styles

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2019-12-05 10:32:40 +01:00
parent 79f588d067
commit 6af22ec9b8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/components/arduino-select.tsx
View File

@ -11,11 +11,11 @@ export class ArduinoSelect<T> extends Select<T> {
}
render(): React.ReactNode {
const height = 25;
const height = 27; // Seems to be the hard coded constant for `input` and `textArea` in Theia.
const styles: Styles = {
control: styles => ({
...styles,
width: 200,
minWidth: 120,
color: 'var(--theia-ui-font-color1)'
}),
dropdownIndicator: styles => ({