Improved preference Dialog UI

fstasi · fstasi · commit 8cb539801561 · 2021-03-12T11:45:36.000+01:00
diff --git a/arduino-ide-extension/src/browser/style/settings-dialog.css b/arduino-ide-extension/src/browser/style/settings-dialog.css
@@ -4,7 +4,7 @@
 
 .arduino-settings-dialog .content {
     padding: 5px;
-    height: 270px;
+    height: 320px;
 }
 
 .arduino-settings-dialog .flex-line {

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`
`5`	`5`	`.arduino-settings-dialog .content {`
`6`	`6`	`padding: 5px;`
`7`		`- height: 270px;`
	`7`	`+ height: 320px;`
`8`	`8`	`}`
`9`	`9`
`10`	`10`	`.arduino-settings-dialog .flex-line {`