Skip to content
Merged
Show file tree
Hide file tree
Changes from 4 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 7 additions & 2 deletions Extension/src/LanguageServer/client.ts
Original file line number Diff line number Diff line change
Expand Up @@ -1842,7 +1842,8 @@ export class DefaultClient implements Client {
public onDidChangeTextDocument(textDocumentChangeEvent: vscode.TextDocumentChangeEvent): void {
if (util.isCpp(textDocumentChangeEvent.document)) {
// If any file has changed, we need to abort the current rename operation
if (workspaceReferences.renamePending) {
if (workspaceReferences !== undefined // Occurs when a document changes before cpptools starts.
&& workspaceReferences.renamePending) {
workspaceReferences.cancelCurrentReferenceRequest(refs.CancellationSender.User);
}

Expand All @@ -1857,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 {
Expand Down
2 changes: 1 addition & 1 deletion Extension/src/LanguageServer/extension.ts
Original file line number Diff line number Diff line change
Expand Up @@ -298,7 +298,7 @@ async function onDidChangeSettings(event: vscode.ConfigurationChangeEvent): Prom
}
}

async function onDidChangeTextDocument(event: vscode.TextDocumentChangeEvent): Promise<void> {
function onDidChangeTextDocument(event: vscode.TextDocumentChangeEvent): void {
const me: Client = clients.getClientFor(event.document.uri);
me.onDidChangeTextDocument(event);
}
Expand Down
Loading