Update Board menu when opening files from File view.#159

ubidefeo merged 1 commit intodevelopmentarduino/lab-micropython-editor:developmentfrom

fix/board-menu-update-when-opening-filearduino/lab-micropython-editor:fix/board-menu-update-when-opening-fileCopy head branch name to clipboard