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

filter out no match.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-22 11:45:32 +02:00
parent 8aa08cbf6e
commit 01c21266e5
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
arduino-ide-extension/src/browser/boards/boards-service-client-impl.ts
View File

@@ -195,7 +195,12 @@ export class BoardsServiceClientImpl implements BoardsServiceClient, FrontendApp
return compareAnything(leftLabel, rightLabel, lookFor); return compareAnything(leftLabel, rightLabel, lookFor);
} }
const normalizedQuery = query.toLowerCase(); const normalizedQuery = query.toLowerCase();
return boards.filter(coresFilter).map(toMatch).sort((left, right) => compareEntries(left, right, normalizedQuery)).map(({ board }) => board); return boards
.filter(coresFilter)
.map(toMatch)
.filter(({ matches }) => !!matches)
.sort((left, right) => compareEntries(left, right, normalizedQuery))
.map(({ board }) => board);
} }
get boardsConfig(): BoardsConfig.Config { get boardsConfig(): BoardsConfig.Config {