#1205: improve "broken UI" with settings dialog when app is scaled up by davegarthsimpson · Pull Request #1256 · arduino/arduino-ide