src/vs/workbench/services/progress/browser/progressIndicator.ts/ScopedProgressIndicator/onDidScopeDeactivate
class ScopedProgressIndicator:	private onDidScopeDeactivate(): void {
		this.progressBar.stop().hide();
	}