mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-17 22:29:27 +00:00
Moving repo to bmci-labs
This commit is contained in:
@@ -0,0 +1,19 @@
|
||||
import { inject, injectable } from 'inversify';
|
||||
import { WorkspaceService } from '@theia/workspace/lib/browser/workspace-service';
|
||||
import { WorkspaceServiceExt } from './workspace-service-ext';
|
||||
|
||||
/**
|
||||
* This is a workaround to be able to inject the workspace service to the backend with its service path.
|
||||
*/
|
||||
@injectable()
|
||||
export class WorkspaceServiceExtImpl implements WorkspaceServiceExt {
|
||||
|
||||
@inject(WorkspaceService)
|
||||
protected readonly delegate: WorkspaceService;
|
||||
|
||||
async roots(): Promise<string[]> {
|
||||
const stats = await this.delegate.roots;
|
||||
return stats.map(stat => stat.uri);
|
||||
}
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user