jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-13 14:26:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Reestablish monitor connection after reloading the window, reconnect after selecting another board

Browse Source 
Signed-off-by: jbicker <jan.bicker@typefox.io>
This commit is contained in:
jbicker 2019-08-20 14:32:42 +02:00
parent 2046c0bdee
commit 79731304c1
1 changed files with 23 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
arduino-ide-extension/src/browser/monitor/monitor-widget.tsx
View File

@ -195,7 +195,8 @@ export class MonitorWidget extends ReactWidget implements StatefulWidget {
super.onAfterAttach(msg); super.onAfterAttach(msg);
this.clear(); this.clear();
this.connect(); this.connect();
this.toDisposeOnDetach.push(this.boardsServiceClient.onBoardsChanged(async states => { this.toDisposeOnDetach.push(
this.boardsServiceClient.onBoardsChanged(async states => {
const currentConnectionConfig = this.connection.connectionConfig; const currentConnectionConfig = this.connection.connectionConfig;
const connectedBoard = states.newState.boards const connectedBoard = states.newState.boards
.filter(AttachedSerialBoard.is) .filter(AttachedSerialBoard.is)
@ -210,7 +211,13 @@ export class MonitorWidget extends ReactWidget implements StatefulWidget {
this.continuePreviousConnection = true; this.continuePreviousConnection = true;
this.connection.connect(currentConnectionConfig); this.connection.connect(currentConnectionConfig);
} }
})); })
);
this.toDisposeOnDetach.push(
this.boardsServiceClient.onBoardsConfigChanged(async boardConfig => {
this.connect();
})
)
this.toDisposeOnDetach.push(this.connection.onConnectionChanged(() => { this.toDisposeOnDetach.push(this.connection.onConnectionChanged(() => {
if (!this.continuePreviousConnection) { if (!this.continuePreviousConnection) {
@ -255,7 +262,6 @@ export class MonitorWidget extends ReactWidget implements StatefulWidget {
const attachedBoards = await this.boardsService.getAttachedBoards(); const attachedBoards = await this.boardsService.getAttachedBoards();
const connectedBoard = attachedBoards.boards.filter(AttachedSerialBoard.is).find(board => BoardsConfig.Config.sameAs(boardsConfig, board)); const connectedBoard = attachedBoards.boards.filter(AttachedSerialBoard.is).find(board => BoardsConfig.Config.sameAs(boardsConfig, board));
if (!connectedBoard) { if (!connectedBoard) {
this.messageService.warn(`The selected '${name}' board is not connected on ${selectedPort}.`);
return; return;
} }