Renames option for a bit more clarity

This commit is contained in:
Eric Amodio 2020-03-10 15:27:26 -04:00 committed by Eric Amodio
parent a8130a02d1
commit feb42fad54
2 changed files with 5 additions and 5 deletions

View file

@ -345,7 +345,7 @@ export abstract class ViewPane extends Pane implements IView {
}
if (this.progressIndicator === undefined) {
this.progressIndicator = this.instantiationService.createInstance(CompositeProgressIndicator, assertIsDefined(this.progressBar), this.id, this.isVisible(), { hideWhenInactive: true });
this.progressIndicator = this.instantiationService.createInstance(CompositeProgressIndicator, assertIsDefined(this.progressBar), this.id, this.isVisible(), { exclusiveProgressBar: true });
}
return this.progressIndicator;
}

View file

@ -198,7 +198,7 @@ export class CompositeProgressIndicator extends CompositeScope implements IProgr
progressbar: ProgressBar,
scopeId: string,
isActive: boolean,
private readonly options: { hideWhenInactive?: boolean } | undefined,
private readonly options: { exclusiveProgressBar?: boolean } | undefined,
@IViewletService viewletService: IViewletService,
@IPanelService panelService: IPanelService,
@IViewsService viewsService: IViewsService
@ -212,7 +212,7 @@ export class CompositeProgressIndicator extends CompositeScope implements IProgr
onScopeDeactivated(): void {
this.isActive = false;
if (this.options?.hideWhenInactive) {
if (this.options?.exclusiveProgressBar) {
this.progressbar.stop().hide();
}
}
@ -314,7 +314,7 @@ export class CompositeProgressIndicator extends CompositeScope implements IProgr
done: () => {
this.progressState = ProgressIndicatorState.Done;
if (this.isActive || this.options?.hideWhenInactive) {
if (this.isActive || this.options?.exclusiveProgressBar) {
this.progressbar.stop().hide();
}
}
@ -345,7 +345,7 @@ export class CompositeProgressIndicator extends CompositeScope implements IProgr
// The while promise is either null or equal the promise we last hooked on
this.progressState = ProgressIndicatorState.None;
if (this.isActive || this.options?.hideWhenInactive) {
if (this.isActive || this.options?.exclusiveProgressBar) {
this.progressbar.stop().hide();
}
}