Reload ADS when data-workspace extension opens a workspace (#14540)

* reload ADS when workspace is entered

* move reloading so that reload also happens for file save workspace as commands

* fix build error
This commit is contained in:
Kim Santiago
2021-03-04 13:40:13 -08:00
committed by GitHub
parent 69a35b38b2
commit 9cfba8e8e0
3 changed files with 6 additions and 16 deletions

View File

@@ -17,7 +17,7 @@ export class MainThreadWorkspace extends Disposable implements MainThreadWorkspa
constructor(
extHostContext: IExtHostContext,
@IWorkspaceEditingService private workspaceEditingService: IWorkspaceEditingService,
@IWorkbenchEnvironmentService protected readonly environmentService: IWorkbenchEnvironmentService,
@IWorkbenchEnvironmentService protected readonly environmentService: IWorkbenchEnvironmentService
) {
super();
}
@@ -37,5 +37,4 @@ export class MainThreadWorkspace extends Disposable implements MainThreadWorkspa
workspaceFile = URI.revive(workspaceFile);
return this.workspaceEditingService.saveAndEnterWorkspace(workspaceFile);
}
}