add progress reporting for fetching repos (#153082)

Fixes #151922

Co-authored-by: Ulugbek <ulugbek.abdullaev@jetbrains.com>
pull/153137/head
Ulugbek Abdullaev 2022-06-24 16:42:01 +02:00 committed by GitHub
parent d595a3bc8d
commit af0309e325
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions

View File

@ -49,11 +49,12 @@ class RemoteSourceProviderQuickPick {
@throttle
private async query(): Promise<void> {
try {
const remoteSources = await this.provider.getRemoteSources(this.quickpick?.value) || [];
this.ensureQuickPick();
this.quickpick!.busy = true;
this.quickpick!.show();
const remoteSources = await this.provider.getRemoteSources(this.quickpick?.value) || [];
if (remoteSources.length === 0) {
this.quickpick!.items = [{
label: localize('none found', "No remote repositories found."),