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

Fixed sketch service

Browse Source
This commit is contained in:
jbicker
2019-07-23 13:42:52 +02:00
parent cd8c138e1e
commit 75f7d3ca7c
3 changed files with 43 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4,7 +4,7 @@ export const SketchesServicePath = '/services/sketches-service';
export const SketchesService = Symbol('SketchesService');
export interface SketchesService {
getSketches(fileStat?: FileStat): Promise<Sketch[]>
getSketchFiles(fileStat: FileStat): Promise<string[]>
getSketchFiles(fileStat: FileStat): Promise<FileStat[]>
}
export interface Sketch {