Git - close repository improvements (#184708)

* Initial implementation

* Move ObservableSet into a separate file

* Add quick pick for reopening closed repositories

* Fix issue with initializing the context key

* Add welcome views
This commit is contained in:
Ladislau Szomoru
2023-06-09 13:19:57 +02:00
committed by GitHub
parent e913a2e547
commit 9979f9cc3c
7 changed files with 177 additions and 11 deletions

View File

@@ -160,12 +160,12 @@
{
"view": "scm",
"contents": "%welcome.publishFolder%",
"when": "config.git.enabled && git.state == initialized && workbenchState == folder && git.parentRepositoryCount == 0 && git.unsafeRepositoryCount == 0"
"when": "config.git.enabled && git.state == initialized && workbenchState == folder && git.parentRepositoryCount == 0 && git.unsafeRepositoryCount == 0 && git.closedRepositoryCount == 0"
},
{
"view": "scm",
"contents": "%welcome.publishWorkspaceFolder%",
"when": "config.git.enabled && git.state == initialized && workbenchState == workspace && workspaceFolderCount != 0 && git.parentRepositoryCount == 0 && git.unsafeRepositoryCount == 0"
"when": "config.git.enabled && git.state == initialized && workbenchState == workspace && workspaceFolderCount != 0 && git.parentRepositoryCount == 0 && git.unsafeRepositoryCount == 0 && git.closedRepositoryCount == 0"
}
],
"markdown.previewStyles": [