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

generalized which widgets are closeable.

Browse Source 
instead of a whitelisting, we blacklist the files those belong to sketch

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-08-01 16:05:32 +02:00
parent fc866464ad
commit 3d55aaa875
2 changed files with 31 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/src/common/protocol/sketches-service.ts
View File

@@ -1,3 +1,5 @@
import URI from '@theia/core/lib/common/uri';
export const SketchesServicePath = '/services/sketches-service';
export const SketchesService = Symbol('SketchesService');
export interface SketchesService {
@@ -60,9 +62,9 @@ export namespace Sketch {
export const ADDITIONAL = ['.h', '.c', '.hpp', '.hh', '.cpp', '.s'];
export const ALL = Array.from(new Set([...MAIN, ...SOURCE, ...ADDITIONAL]));
}
export function isInSketch(uri: string, sketch: Sketch): boolean {
export function isInSketch(uri: string | URI, sketch: Sketch): boolean {
const { mainFileUri, otherSketchFileUris, additionalFileUris } = sketch;
return [mainFileUri, ...otherSketchFileUris, additionalFileUris].indexOf(uri) !== -1;
return [mainFileUri, ...otherSketchFileUris, additionalFileUris].indexOf(uri.toString()) !== -1;
}
}