Prevent layout shift on hover in libs/board manager#1568

francescospissu merged 3 commits intomainarduino/arduino-ide:mainfrom

fspissu/prevent-layout-shiftarduino/arduino-ide:fspissu/prevent-layout-shiftCopy head branch name to clipboard