#854 fix platform installation only offered if port is selected#1130

davegarthsimpson merged 3 commits intomainarduino/arduino-ide:mainfrom

854-platform-install-promptarduino/arduino-ide:854-platform-install-promptCopy head branch name to clipboard