Git: Add tags to '...' menu (#109282)

* Git: Add tags to '...' menu
Closes #109281

* Git: Add tags to '...' menu
Closes #109281
This commit is contained in:
Takanori Oishi 2020-10-26 22:44:28 +09:00 committed by GitHub
parent 24ced5b375
commit 86e1d0744f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 20 additions and 0 deletions

View file

@ -899,6 +899,11 @@
"group": "2_main@6",
"when": "scmProvider == git"
},
{
"submenu": "git.tags",
"group": "2_main@7",
"when": "scmProvider == git"
},
{
"command": "git.showOutput",
"group": "3_footer",
@ -1501,6 +1506,16 @@
{
"command": "git.stashDrop"
}
],
"git.tags": [
{
"command": "git.createTag",
"group": "1_tags@1"
},
{
"command": "git.deleteTag",
"group": "1_tags@2"
}
]
},
"submenus": [
@ -1527,6 +1542,10 @@
{
"id": "git.stash",
"label": "%submenu.stash%"
},
{
"id": "git.tags",
"label": "%submenu.tags%"
}
],
"configuration": {

View file

@ -172,6 +172,7 @@
"submenu.branch": "Branch",
"submenu.remotes": "Remote",
"submenu.stash": "Stash",
"submenu.tags": "Tags",
"colors.added": "Color for added resources.",
"colors.modified": "Color for modified resources.",
"colors.stageModified": "Color for modified resources which have been staged.",