jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-24 11:46:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

[ATL-1570] Install core notification not to appear on board unplug (#485)

Browse Source
This commit is contained in:
Francesco Stasi 2021-08-26 15:09:56 +02:00 committed by GitHub
parent 7d5381bbde
commit 0f82e91380
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
arduino-ide-extension/src/browser/boards/boards-auto-installer.ts
View File

@ -44,9 +44,10 @@ export class BoardsAutoInstaller implements FrontendApplicationContribution {
}
protected ensureCoreExists(config: BoardsConfig.Config): void {
const { selectedBoard } = config;
const { selectedBoard, selectedPort } = config;
if (
selectedBoard &&
selectedPort &&
!this.notifications.find((board) => Board.sameAs(board, selectedBoard))
) {
this.notifications.push(selectedBoard);