725
726
private deRegisterSynchronizer(syncResource: SyncResource): void {
727
>
const index = this._enabled.findIndex(([synchronizer]) => synchronizer.resource === syncResource);
userDataSyncService.ts
728
>
if (index !== -1) {
729
>
const [[synchronizer, , disposable]] = this._enabled.splice(index, 1);
730
>
disposable.dispose();
731
>
this.updateStatus();
732
>
synchronizer.stop().then(null, error => this.logService.error(error));
733
>
}
734
>
}
735
736
createSynchronizer(syncResource: Exclude<SyncResource, SyncResource.WorkspaceState>): IUserDataSynchroniser & IDisposable {