Settings progress bar is too eager to appear (fix #200547) (#237322)

pull/226069/merge
Benjamin Pasero 2025-01-06 11:25:43 +01:00 committed by GitHub
parent 70140a270c
commit e8b620fc96
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -1606,7 +1606,7 @@ export class SettingsEditor2 extends EditorPane {
}
private async triggerSearch(query: string): Promise<void> {
const progressRunner = this.editorProgressService.show(true);
const progressRunner = this.editorProgressService.show(true, 800);
this.viewState.tagFilters = new Set<string>();
this.viewState.extensionFilters = new Set<string>();
this.viewState.featureFilters = new Set<string>();