Merge pull request #159 from arduino/fix/board-menu-update-when-opening-file

Update Board menu when opening files from File view.

Author: ubidefeo

ui/arduino/store.js

@@ -1198,6 +1198,7 @@ async function store(state, emitter) {
     state.openFiles = state.openFiles.concat(filesToOpen)
 
     state.view = 'editor'
+    updateMenu()
     emitter.emit('render')
   })
   emitter.on('open-file', (source, file) => {