remote - move out search provider, #45000

This commit is contained in:
Johannes Rieken
2018-03-20 12:47:33 +01:00
parent aa14020c25
commit 73e3488685
5 changed files with 121 additions and 75 deletions

View File

@@ -380,7 +380,8 @@ export interface IFileChangeDto {
export interface MainThreadFileSystemShape extends IDisposable {
$registerFileSystemProvider(handle: number, scheme: string): void;
$unregisterFileSystemProvider(handle: number): void;
$registerSearchProvider(handle: number, scheme: string): void;
$unregisterProvider(handle: number): void;
$onFileSystemChange(handle: number, resource: IFileChangeDto[]): void;
$reportFileChunk(handle: number, session: number, chunk: number[] | null): void;