move git rename to command palette

This commit is contained in:
João Moreno
2020-11-18 11:08:37 +01:00
parent 363534db96
commit 3d013dc76f
2 changed files with 4 additions and 18 deletions

View File

@@ -628,7 +628,7 @@
},
{
"command": "git.rename",
"when": "false"
"when": "config.git.enabled && !git.missing && gitOpenRepositoryCount != 0 && resourceScheme == file"
},
{
"command": "git.commit",
@@ -1352,18 +1352,6 @@
"when": "config.git.enabled && !git.missing && timelineItem =~ /git:file:commit\\b/"
}
],
"explorer/context": [
{
"submenu": "git.explorer",
"group": "7_git",
"when": "config.git.enabled && !git.missing && !explorerResourceIsRoot"
}
],
"git.explorer": [
{
"command": "git.rename"
}
],
"git.commit": [
{
"command": "git.commit",
@@ -1582,10 +1570,6 @@
]
},
"submenus": [
{
"id": "git.explorer",
"label": "%submenu.explorer%"
},
{
"id": "git.commit",
"label": "%submenu.commit%"