Fix bug in prior PR

Colengms · Colengms · commit 0ffea100007b · 2025-04-08T17:37:13.000-07:00
diff --git a/Extension/src/LanguageServer/protocolFilter.ts b/Extension/src/LanguageServer/protocolFilter.ts
@@ -41,10 +41,8 @@ export function createProtocolFilter(): Middleware {
                     // client.takeOwnership() will call client.TrackedDocuments.add() again, but that's ok. It's a Set.
                     client.takeOwnership(document);
                     void sendMessage(document);
-                    const editor: vscode.TextEditor | undefined = vscode.window.visibleTextEditors.find(editor => editor.document === document);
-                    if (editor) {
-                        client.onDidChangeVisibleTextEditors([editor]).catch(logAndReturn.undefined);
-                    }
+                    const cppEditors: vscode.TextEditor[] = vscode.window.visibleTextEditors.filter(e => util.isCpp(e.document));
+                    client.onDidChangeVisibleTextEditors(cppEditors).catch(logAndReturn.undefined);
                 }
             }
         },

Original file line number	Diff line number	Diff line change
`@@ -41,10 +41,8 @@ export function createProtocolFilter(): Middleware {`
`41`	`41`	`// client.takeOwnership() will call client.TrackedDocuments.add() again, but that's ok. It's a Set.`
`42`	`42`	`client.takeOwnership(document);`
`43`	`43`	`void sendMessage(document);`
`44`		`- const editor: vscode.TextEditor \| undefined = vscode.window.visibleTextEditors.find(editor => editor.document === document);`
`45`		`- if (editor) {`
`46`		`- client.onDidChangeVisibleTextEditors([editor]).catch(logAndReturn.undefined);`
`47`		`- }`
	`44`	`+ const cppEditors: vscode.TextEditor[] = vscode.window.visibleTextEditors.filter(e => util.isCpp(e.document));`
	`45`	`+ client.onDidChangeVisibleTextEditors(cppEditors).catch(logAndReturn.undefined);`
`48`	`46`	`}`
`49`	`47`	`}`
`50`	`48`	`},`