Description
Describe the bug
Arduino IDE supports adding installing arbitrary boards platforms via Boards Manager by adding the URLs of their package index file to the "Additional Boards Manager URLs" preference.
Since users may have several URLs, a dedicated "Additional Boards Manager URLs" dialog is offered with a multi-line field.
🐛 The height of the field is very small, to the point where it is not clear that it is an input field at all.
To Reproduce
- Select File > Preferences... from the Arduino IDE menus.
- Click the button on the right side of the "Additional Boards Manager URLs" field.
🐛 The height of the field is very small:
Expected behavior
Usable input field height in the "Additional Boards Manager URLs" dialog, as it was in previous versions:
Desktop
- OS: Windows 10
- Version: 2.0.0-rc4-snapshot-0fc7c78
Date: 2022-03-03T08:39:37.612Z
CLI Version: 0.21.0 [10107d24]
Additional context
I bisected the bug to 112153f (it does not occur when using the build from the previous commit 69ac1f4).
Originally reported at https://forum.arduino.cc/t/additional-boards-manager-urls-page-cant-read/965207