much more, del, streaming, etc

This commit is contained in:
Johannes Rieken
2017-09-12 09:25:08 +02:00
parent e9ac57eeb7
commit 022325bf05
3 changed files with 57 additions and 43 deletions

View File

@@ -133,17 +133,17 @@ export class MainThreadWorkspace implements MainThreadWorkspaceShape {
throw new Error();
}
const emitter = new Emitter<URI>();
const provider = {
onDidChange: emitter.event,
read: (resource: URI) => {
return this._proxy.$resolveFile(handle, resource);
},
write: (resource: URI, value: string) => {
return this._proxy.$storeFile(handle, resource, value);
},
stat: () => null,
readdir: () => null
};
// const provider = {
// onDidChange: emitter.event,
// read: (resource: URI) => {
// return this._proxy.$resolveFile(handle, resource);
// },
// write: (resource: URI, value: string) => {
// return this._proxy.$storeFile(handle, resource, value);
// },
// stat: () => null,
// readdir: () => null
// };
const searchProvider = {
search: (query: ISearchQuery) => {
if (query.type !== QueryType.File) {
@@ -159,7 +159,7 @@ export class MainThreadWorkspace implements MainThreadWorkspaceShape {
}
};
const registrations = combinedDisposable([
this._fileService.registerProvider(authority, provider),
// this._fileService.registerProvider(authority, provider),
this._searchService.registerSearchResultProvider(searchProvider),
]);
this._provider.set(handle, [registrations, emitter]);