Add workspace information in Import UI (#13648)

* Add workspace information in Import UI

* Addressed comments

* Reduced space between Workspace heading and the label
This commit is contained in:
Sakshi Sharma
2020-12-08 09:09:33 -08:00
committed by GitHub
parent e182649adc
commit 2f18753b1f
6 changed files with 98 additions and 16 deletions

View File

@@ -22,7 +22,7 @@ declare module 'dataworkspace' {
* Add projects to the workspace
* @param projectFiles Uris of project files to add
*/
addProjectsToWorkspace(projectFiles: vscode.Uri[]): Promise<void>
addProjectsToWorkspace(projectFiles: vscode.Uri[]): Promise<void>;
/**
* Change focus to Projects view
@@ -33,6 +33,11 @@ declare module 'dataworkspace' {
* Returns the default location to save projects
*/
defaultProjectSaveLocation: vscode.Uri | undefined;
/**
* Verifies that a workspace is open or if it should be automatically created
*/
validateWorkspace(): Promise<boolean>;
}
/**