labelService: register formatters via API. Also expose getSeperator

This commit is contained in:
isidor
2019-02-21 10:01:52 +01:00
parent 2c75fe1906
commit 835458245d
12 changed files with 69 additions and 28 deletions

View File

@@ -533,7 +533,8 @@ export interface IFileChangeDto {
export interface MainThreadFileSystemShape extends IDisposable {
$registerFileSystemProvider(handle: number, scheme: string, capabilities: FileSystemProviderCapabilities): void;
$unregisterProvider(handle: number): void;
$setUriFormatter(formatter: ResourceLabelFormatter): void;
$registerResourceLabelFormatter(handle: number, formatter: ResourceLabelFormatter): void;
$unregisterResourceLabelFormatter(handle: number): void;
$onFileSystemChange(handle: number, resource: IFileChangeDto[]): void;
}