feat: implement menu action to reload current board data#2553

davegarthsimpson merged 1 commit intomainarduino/arduino-ide:mainfrom

reload-board-dataarduino/arduino-ide:reload-board-dataCopy head branch name to clipboard