fix: restore cloud changes from serialized data (#193032)

This commit is contained in:
Joyce Er 2023-09-13 10:23:03 -07:00 committed by GitHub
parent d7041e3716
commit 31210c0428
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -448,6 +448,9 @@ export class EditSessionsContribution extends Disposable implements IWorkbenchCo
async run(accessor: ServicesAccessor, editSessionId?: string): Promise<void> {
const data = await that.quickInputService.input({ prompt: 'Enter serialized data' });
if (data) {
that.editSessionsStorageService.lastReadResources.set('editSessions', { content: data, ref: '' });
}
await that.progressService.withProgress({ ...resumeProgressOptions, title: resumeProgressOptionsTitle }, async () => await that.resumeEditSession(editSessionId, undefined, undefined, undefined, undefined, data));
}
}));