git: remote source provider picker command

fixes #102394
This commit is contained in:
João Moreno
2020-07-14 13:56:56 +00:00
parent 78aeeac922
commit c85718eb81
5 changed files with 194 additions and 194 deletions

View File

@@ -42,6 +42,10 @@ export class GitExtensionImpl implements GitExtension {
this._onDidChangeEnablement.fire(this.enabled);
}
get model(): Model | undefined {
return this._model;
}
constructor(model?: Model) {
if (model) {
this.enabled = true;