From 975e0c42c96fd686e705daf309378f57488647c8 Mon Sep 17 00:00:00 2001
From: Sean McManus <seanmcm@microsoft.com>
Date: Fri, 19 May 2023 14:01:35 -0700
Subject: [PATCH] Fix incorrect workspace parsing status.

---
 Extension/src/LanguageServer/ui_new.ts | 4 ++++
 1 file changed, 4 insertions(+)

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;