Implements edit source tracking through proposed API (#252430)

Implements edit source tracking through proposed API
This commit is contained in:
Henning Dieterichs
2025-06-26 10:52:51 +02:00
committed by GitHub
parent 189d83c590
commit 488d6df795
29 changed files with 417 additions and 208 deletions

View File

@@ -1071,6 +1071,9 @@ export function createApiFactoryAndRegisterActors(accessor: ServicesAccessor): I
return _asExtensionEvent(extHostDocuments.onDidRemoveDocument)(listener, thisArgs, disposables);
},
onDidChangeTextDocument: (listener, thisArgs?, disposables?) => {
if (isProposedApiEnabled(extension, 'textDocumentChangeReason')) {
return _asExtensionEvent(extHostDocuments.onDidChangeDocumentWithReason)(listener, thisArgs, disposables);
}
return _asExtensionEvent(extHostDocuments.onDidChangeDocument)(listener, thisArgs, disposables);
},
onDidSaveTextDocument: (listener, thisArgs?, disposables?) => {