jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-13 14:26:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Reverted an obsolete change.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2019-05-08 17:08:18 +02:00 committed by Christian Weichel
parent f0eb5a85b8
commit 7c3d830ea2
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
arduino-ide-extension/src/browser/workspace-service-ext-impl.ts
View File

@ -1,5 +1,4 @@
import { inject, injectable } from 'inversify';
import { FileSystem } from '@theia/filesystem/lib/common';
import { WorkspaceService } from '@theia/workspace/lib/browser/workspace-service';
import { WorkspaceServiceExt } from './workspace-service-ext';
@ -9,9 +8,6 @@ import { WorkspaceServiceExt } from './workspace-service-ext';
@injectable()
export class WorkspaceServiceExtImpl implements WorkspaceServiceExt {
@inject(FileSystem)
protected readonly fileSystem: FileSystem;
@inject(WorkspaceService)
protected readonly delegate: WorkspaceService;
@ -20,4 +16,4 @@ export class WorkspaceServiceExtImpl implements WorkspaceServiceExt {
return stats.map(stat => stat.uri);
}
}
}