65
// Forward events from provider
66
providerDisposables.add(provider.onDidChangeFile(changes => {
67
>
const event = new FileChangesEvent(changes, !this.isPathCaseSensitive(provider));
fileService.ts
68
>
69
>
// Always emit any event internally
70
>
this.internalOnDidFilesChange.fire(event);
71
>
72
>
// Only emit uncorrelated events in the global `onDidFilesChange` event
73
>
if (!event.hasCorrelation()) {
74
>
this._onDidUncorrelatedFilesChange.fire(event);
75
>
}
76
}));
77
if (typeof provider.onDidWatchError === 'function') {