feat: new UX for the boards/library manager widget#1927

kittaakos merged 1 commit intomainarduino/arduino-ide:mainfrom

#19arduino/arduino-ide:#19Copy head branch name to clipboard