diff --git a/packages/filesystem/src/browser/file-resource.ts b/packages/filesystem/src/browser/file-resource.ts index cfd2768358353..43a5c5024fae3 100644 --- a/packages/filesystem/src/browser/file-resource.ts +++ b/packages/filesystem/src/browser/file-resource.ts @@ -164,13 +164,14 @@ export class FileResource implements Resource { } protected async sync(): Promise { - if (await this.isInSync(this.version && this.version.stat)) { + if (await this.isInSync()) { return; } this.onDidChangeContentsEmitter.fire(undefined); } - protected async isInSync(current: FileStat | undefined): Promise { + protected async isInSync(): Promise { const stat = await this.getFileStat(); + const current = this.version && this.version.stat; if (!current) { return !stat; }