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

PROEDITOR-48: Open last sketch at start-up

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2019-09-23 15:31:41 +02:00
parent 7244694bd3
commit 55923be7fd
26 changed files with 357 additions and 318 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
arduino-ide-extension/src/node/config-service-impl.ts
View File

@@ -1,6 +1,7 @@
import { injectable, inject } from "inversify";
import { ConfigService, Config } from "../common/protocol/config-service";
import { ArduinoCli } from "./arduino-cli";
import { injectable, inject } from 'inversify';
import URI from '@theia/core/lib/common/uri';
import { ConfigService, Config } from '../common/protocol/config-service';
import { ArduinoCli } from './arduino-cli';
@injectable()
export class ConfigServiceImpl implements ConfigService {
@@ -11,4 +12,13 @@ export class ConfigServiceImpl implements ConfigService {
async getConfiguration(): Promise<Config> {
return this.cli.getDefaultConfig();
}
}
async isInDataDir(uri: string): Promise<boolean> {
return this.getConfiguration().then(({ dataDirUri }) => new URI(dataDirUri).isEqualOrParent(new URI(uri)));
}
async isInSketchDir(uri: string): Promise<boolean> {
return this.getConfiguration().then(({ sketchDirUri }) => new URI(sketchDirUri).isEqualOrParent(new URI(uri)));
}
}