explroer: no need to refresh the explorer tree on formatter change since resourceLabels now refresh independently

This commit is contained in:
isidor 2019-05-29 17:43:07 +02:00
parent 0d17d408bf
commit b456138eb0

View file

@ -166,7 +166,6 @@ export class ExplorerView extends ViewletPanel {
this.disposables.push(this.labelService.onDidChangeFormatters(() => {
this._onDidChangeTitleArea.fire();
this.refresh(true);
}));
this.disposables.push(this.explorerService.onDidChangeRoots(() => this.setTreeInput()));