editors - shorten diff labels (#110694)

This commit is contained in:
Benjamin Pasero
2021-09-19 17:29:44 +02:00
parent 54cdd9c58b
commit adee8fa29a
12 changed files with 223 additions and 144 deletions

View File

@@ -48,13 +48,6 @@ export class GitFileSystemProvider implements FileSystemProvider {
model.onDidChangeRepository(this.onDidChangeRepository, this),
model.onDidChangeOriginalResource(this.onDidChangeOriginalResource, this),
workspace.registerFileSystemProvider('git', this, { isReadonly: true, isCaseSensitive: true }),
workspace.registerResourceLabelFormatter({
scheme: 'git',
formatting: {
label: '${path} (git)',
separator: '/'
}
})
);
setInterval(() => this.cleanup(), FIVE_MINUTES);