diff --git a/Extension/src/LanguageServer/ui_new.ts b/Extension/src/LanguageServer/ui_new.ts index 72dbe7156..e00919b5c 100644 --- a/Extension/src/LanguageServer/ui_new.ts +++ b/Extension/src/LanguageServer/ui_new.ts @@ -175,6 +175,10 @@ export class NewUI implements UI { private dbTimeout?: NodeJS.Timeout; private setIsParsingWorkspace(val: boolean): void { + if (!val && this.isParsingWorkspacePaused) { + // Unpause before handling the no longer parsing state. + this.setIsParsingWorkspacePaused(false); + } this.isParsingWorkspace = val; const showIcon: boolean = val || this.isParsingFiles;