Git - close diff editors on operation (#142513)

This commit is contained in:
Ladislau Szomoru
2022-02-09 11:04:06 +01:00
committed by GitHub
parent d2bc69361a
commit 088f5b6a3e
4 changed files with 56 additions and 5 deletions

View File

@@ -15,6 +15,7 @@
"scmActionButton",
"scmSelectedProvider",
"scmValidation",
"tabs",
"timeline"
],
"categories": [
@@ -2113,6 +2114,12 @@
"default": true,
"description": "%config.confirmNoVerifyCommit%"
},
"git.closeDiffOnOperation": {
"type": "boolean",
"scope": "resource",
"default": false,
"description": "%config.closeDiffOnOperation%"
},
"git.openDiffOnClick": {
"type": "boolean",
"scope": "resource",