From a5294417c357b3d2882e589edf7acb411ee8ad6d Mon Sep 17 00:00:00 2001
From: jbicker <jan.bicker@typefox.io>
Date: Thu, 25 Jul 2019 10:50:26 +0200
Subject: [PATCH] Made boards selector async

Signed-off-by: jbicker <jan.bicker@typefox.io>
---
 .../src/browser/boards/boards-toolbar-item.tsx     | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/arduino-ide-extension/src/browser/boards/boards-toolbar-item.tsx b/arduino-ide-extension/src/browser/boards/boards-toolbar-item.tsx
index 7acc2239..38e0df3f 100644
--- a/arduino-ide-extension/src/browser/boards/boards-toolbar-item.tsx
+++ b/arduino-ide-extension/src/browser/boards/boards-toolbar-item.tsx
@@ -139,13 +139,13 @@ export class BoardsToolBarItem extends React.Component<BoardsToolBarItem.Props,
     }
 
     protected async setAttachedBoards() {
-        const { boards } = await this.props.boardService.getAttachedBoards();
-        this.attachedBoards = boards;
-        if (this.attachedBoards.length) {
-            await this.createBoardDropdownItems();
-            await this.props.boardService.selectBoard(this.attachedBoards[0]);
-            this.setSelectedBoard(this.attachedBoards[0]);
-        }
+        this.props.boardService.getAttachedBoards().then(attachedBoards => {
+            this.attachedBoards = attachedBoards.boards;
+            if (this.attachedBoards.length) {
+                this.createBoardDropdownItems();
+                this.props.boardService.selectBoard(this.attachedBoards[0]).then(() => this.setSelectedBoard(this.attachedBoards[0]));
+            }
+        })
     }
 
     protected createBoardDropdownItems() {