fix: show board info based on the selected port#1803

kittaakos merged 1 commit intomainarduino/arduino-ide:mainfrom

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