git: contribute Clone to explorer

This commit is contained in:
Joao Moreno
2020-02-19 12:23:02 +01:00
parent 8d18e6c320
commit d43bb97bb0
2 changed files with 6 additions and 1 deletions

View File

@@ -1853,6 +1853,10 @@
"view": "workbench.scm",
"contents": "%view.workbench.scm.emptyWorkspace%",
"when": "config.git.enabled && !git.missing && workbenchState == workspace && workspaceFolderCount == 0"
},
{
"view": "workbench.explorer.emptyView",
"contents": "%view.workbench.cloneRepository%"
}
]
},