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

[ATL-493] Support platforms installed in directories.user

Browse Source
This commit is contained in:
Alberto Iannaccone
2021-08-23 09:47:36 +01:00
committed by GitHub
parent 2cb9889fe4
commit 6233e1fa98
3 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/common/protocol/boards-service.ts
View File

@@ -345,6 +345,7 @@ export interface Board {
export interface BoardWithPackage extends Board {
readonly packageName: string;
readonly packageId: string;
readonly manuallyInstalled: boolean;
}
export namespace BoardWithPackage {
export function is(
@@ -527,6 +528,7 @@ export namespace Board {
packageName: string;
packageId: string;
details?: string;
manuallyInstalled: boolean;
}>;
export function decorateBoards(
selectedBoard: Board | undefined,