Change onDidOpenTextDocument.

Author: sean-mcmanus

Extension/src/LanguageServer/client.ts

@@ -1858,7 +1858,11 @@ export class DefaultClient implements Client {
     public onDidOpenTextDocument(document: vscode.TextDocument): void {
         if (document.uri.scheme === "file") {
             const uri: string = document.uri.toString();
-            openFileVersions.set(uri, document.version);
+            const oldVersion: number | undefined = openFileVersions.get(uri);
+            const newVersion: number = document.version;
+            if (oldVersion === undefined || newVersion > oldVersion) {
+                openFileVersions.set(uri, document.version);
+            }
             void SessionState.buildAndDebugIsSourceFile.set(util.isCppOrCFile(document.uri));
             void SessionState.buildAndDebugIsFolderOpen.set(util.isFolderOpen(document.uri));
         } else {