jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-17 06:09:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Got rid of the send button, use keybinding instead

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2019-12-05 13:13:29 +01:00
parent ed660ccd64
commit 71842abfa3
5 changed files with 65 additions and 61 deletions
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,7 +11,7 @@ export class ArduinoSelect<T> extends Select<T> {
}
render(): React.ReactNode {
const height = 27; // Seems to be the hard coded constant for `input` and `textArea` in Theia.
const controlHeight = 27; // from `monitor.css` -> `.serial-monitor-container .head` (`height: 27px;`)
const styles: Styles = {
control: styles => ({
...styles,
@@ -37,7 +37,7 @@ export class ArduinoSelect<T> extends Select<T> {
...theme,
borderRadius: 0,
spacing: {
controlHeight: height,
controlHeight,
baseUnit: 2,
menuGutter: 4
}, colors: {