#1205: improve "broken UI" with settings dialog when app is scaled up#1256

davegarthsimpson merged 1 commit intomainarduino/arduino-ide:mainfrom

1205-settings-dialog-scalingarduino/arduino-ide:1205-settings-dialog-scalingCopy head branch name to clipboard