git missing docs

This commit is contained in:
Joao Moreno
2020-02-13 16:53:08 +01:00
parent ca9be9fc65
commit eab81b4a31
3 changed files with 10 additions and 3 deletions

View File

@@ -1769,20 +1769,25 @@
"contents": "%view.workbench.scm.disabled%",
"when": "!config.git.enabled"
},
{
"view": "workbench.scm",
"contents": "%view.workbench.scm.missing%",
"when": "config.git.enabled && git.missing"
},
{
"view": "workbench.scm",
"contents": "%view.workbench.scm.empty%",
"when": "config.git.enabled && workbenchState == empty"
"when": "config.git.enabled && !git.missing && workbenchState == empty"
},
{
"view": "workbench.scm",
"contents": "%view.workbench.scm.folder%",
"when": "config.git.enabled && workbenchState == folder"
"when": "config.git.enabled && !git.missing && workbenchState == folder"
},
{
"view": "workbench.scm",
"contents": "%view.workbench.scm.workspace%",
"when": "config.git.enabled && workbenchState == workspace"
"when": "config.git.enabled && !git.missing && workbenchState == workspace"
}
]
}