fix Additional Boards Manager URLs textarea size

Alberto Iannaccone · Alberto Iannaccone · commit c54e15003cb8 · 2022-09-16T08:55:44.000+02:00
diff --git a/arduino-ide-extension/src/browser/style/settings-dialog.css b/arduino-ide-extension/src/browser/style/settings-dialog.css
@@ -88,7 +88,7 @@
 }
 
 .additional-urls-dialog textarea {
-    width: 100%;
+    resize: none;
 }
 
 .p-Widget.dialogOverlay .dialogBlock .dialogContent.additional-urls-dialog {

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@`
`88`	`88`	`}`
`89`	`89`
`90`	`90`	`.additional-urls-dialog textarea {`
`91`		`- width: 100%;`
	`91`	`+ resize: none;`
`92`	`92`	`}`
`93`	`93`
`94`	`94`	`.p-Widget.dialogOverlay .dialogBlock .dialogContent.additional-urls-dialog {`